MCP App StoreMCP App StoreThis skill helps agents configure and optimize mutation-testing campaigns using the mewt (general languages) or muton (TON smart contracts) toolchains. It guides initialization, scoping, optimization strategies, and running campaigns, and explains commands for inspecting configuration, mutants, and campaign status.
Use this skill when a user mentions mewt, muton, or mutation testing, needs help setting up a campaign, wants to tune timeouts or per-file targeting, or needs advice for running long, resource-intensive mutation campaigns. Do not use for post-hoc result analysis unrelated to mutation testing setup.
workflows/ and references/ folders (has_references=true).mewt/muton.mewt init, scoping targets, running mewt mutate and mewt run, and interpreting statuses/outputs.Best used with agents that can run shell commands and read local files (Claude Code, Copilot-style agents, Cursor).
Trail of Bits mutation-testing skill configures mewt/muton mutation testing campaigns. No bundled scripts — purely instructional SKILL.md with clear triggers, command reference, and external workflow/references files. Well-structured frontmatter and progressive disclosure, but niche audience requiring specific tooling installed.
Clean skill with no security concerns. No scripts to execute. SKILL.md is well-written with specific triggers and clear scope boundaries (when NOT to use). Niche but legitimate dev tooling skill from a reputable security org (Trail of Bits).
Development Worktree
Create an isolated git worktree for feature work, auto-run project setup, and verify a clean test baseline before development.
TradeOS
Natural-language driven CEX trading and portfolio management for agents: API key vaulting, multi-exchange orders, DCA, arbitrage scanning, alerts and security r
Full Stack Builder
End-to-end builder that scaffolds, implements, tests, and optionally deploys web and API applications from a natural-language specification.
Claw Bench
Benchmarking skill that guides an agent through a structured suite of capability tests and reporting steps for leaderboard submission.
Java 25 & Spring Boot 4 Code Reviewer
Run focused, evidence-based code reviews for Java 25 and Spring Boot 4 projects — migration risks, architecture boundaries, null-safety (JSpecify), security, an
ArcKit — French Public Procurement (fr-marche-public)
Generates French public procurement (Dossier de Consultation des Entreprises) drafts aligned with the Code de la Commande Publique, UGAP frameworks, and DINUM d
Vibe Security Auditor
Audits AI-generated codebases for critical security flaws like exposed keys, broken RLS, and insecure payment flows.
Speak Security Basics
Security best practices for integrating Speak: API key management, audio data privacy, student data protection, and COPPA/FERPA compliance for production deploy