¿Qué hace solana-fuzz?
Skill de Claude Code / Codex que escribe pruebas de fuzzing de propiedades e invariantes con Trident para programas de Solana (Anchor y nativos).
Skill de Claude Code / Codex que escribe pruebas de fuzzing de propiedades e invariantes con Trident para programas de Solana (Anchor y nativos).
Este skill permite a Claude Code y Codex generar automáticamente pruebas de fuzzing de propiedades e invariantes para programas de Solana, tanto Anchor como nativos, utilizando el framework Trident. Es útil para desarrolladores que buscan aumentar la seguridad y robustez de sus contratos inteligentes en Solana, ya que las pruebas de fuzzing ayudan a descubrir errores y vulnerabilidades ocultas mediante la ejecución de entradas aleatorias o específicas. El skill se basa en el análisis del código del programa, identifica las funciones y estados clave, y genera los archivos de prueba necesarios (como `fuzz_test.rs` y configuraciones) que se integran con el ecosistema de Trident. Soporta plataformas como Claude Code y Codex, y su funcionamiento se detalla en el archivo SKILL.md original, que describe los pasos para instalar dependencias, ejecutar las pruebas y personalizarlas según las necesidades del proyecto.
npx skills add belumume/solana-fuzzInstalled? Explore more Redacción y edición skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →
Skill de Claude Code / Codex que escribe pruebas de fuzzing de propiedades e invariantes con Trident para programas de Solana (Anchor y nativos).
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