MCP App StoreMCP App Store
de skills5,577
Configurez et optimisez les campagnes de mutation-testing mewt/muton : définissez le périmètre des cibles, ajustez les timeouts et préparez des exécutions de longue durée pour des résultats fiables.
Ce skill aide les agents à configurer et optimiser des campagnes de mutation-testing en utilisant les toolchains mewt (langages généraux) ou muton (smart contracts TON). Il guide l'initialisation, la définition du périmètre, les stratégies d'optimisation et l'exécution des campagnes, et explique les commandes pour inspecter la configuration, les mutants et l'état de la campagne.
Utilisez ce skill lorsqu'un utilisateur mentionne mewt, muton ou le mutation testing, a besoin d'aide pour configurer une campagne, souhaite ajuster les timeouts ou le ciblage par fichier, ou a besoin de conseils pour exécuter des campagnes de mutation longues et gourmandes en ressources. Ne pas utiliser pour l'analyse de résultats a posteriori sans rapport avec la configuration du mutation testing.
workflows/ et references/ du skill (has_references=true).mewt/muton.mewt init, la définition des cibles, l'exécution de mewt mutate et mewt run, et l'interprétation des statuts/sorties.Idéalement utilisé avec des agents capables d'exécuter des commandes shell et de lire des fichiers locaux (Claude Code, agents de type Copilot, Cursor).
La compétence de mutation-testing de Trail of Bits configure des campagnes de tests de mutation mewt/muton. Aucun script fourni — SKILL.md purement pédagogique avec des déclencheurs clairs, une référence des commandes et des fichiers de flux de travail/références externes. Frontmatter bien structuré et divulgation progressive, mais public de niche nécessitant l'installation d'outils spécifiques.
Compétence propre sans préoccupations de sécurité. Aucun script à exécuter. SKILL.md est bien écrit avec des déclencheurs spécifiques et des limites de portée claires (quand NE PAS l'utiliser). Compétence d'outillage de développement de niche mais légitime provenant d'une organisation de sécurité réputée (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