Que fait solana-fuzz ?
Compétence Claude Code / Codex qui rédige des tests de fuzzing basés sur les propriétés et invariants Trident pour les programmes Solana (Anchor et natifs).
Compétence Claude Code / Codex qui rédige des tests de fuzzing basés sur les propriétés et invariants Trident pour les programmes Solana (Anchor et natifs).
Cette compétence permet aux agents IA (Claude Code, Codex, etc.) de générer automatiquement des tests de fuzzing robustes pour les programmes Solana, qu'ils soient écrits avec le framework Anchor ou en natif. En utilisant l'outil Trident, elle crée des tests basés sur les propriétés (vérifications systématiques des entrées-sorties) et des tests d'invariants (garanties sur l'état global du programme). Elle est particulièrement utile pour les développeurs Solana qui souhaitent améliorer la sécurité et la fiabilité de leurs smart contracts sans écrire manuellement des centaines de cas de test. La compétence analyse le code source du programme, identifie les structures de données et instructions clés, puis produit un fichier de test Trident complet, prêt à être exécuté avec la commande `trident fuzz`. Cela accélère considérablement le processus d'audit de sécurité et de validation formelle des programmes Solana.
npx skills add belumume/solana-fuzzInstalled? Explore more Rédaction et édition skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →
Compétence Claude Code / Codex qui rédige des tests de fuzzing basés sur les propriétés et invariants Trident pour les programmes Solana (Anchor et natifs).
Notion CLI/API for pages, Markdown content, data sources, files, comments, search, Workers, and raw API calls.
The agent engineering platform.
Use this skill when the user requests to generate, create, or produce podcasts from text content. Converts written content into a two-host conversational podcast audio format with natural dialogue.
Analyze and optimize tweets for maximum reach using Twitter's open-source algorithm insights. Rewrite and edit user tweets to improve engagement and visibility based on how the recommendation system ranks content.
Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn, etc.) to understand what messaging, problems, and creative approaches are working. Helps inspire and improve your own ad campaigns.
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors