Seguridad
No visual example yet
Explore the skill
CertoraProver
Certora
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
308GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Encuentra una habilidad para tu próxima tarea con Codex, Claude Code, Cursor y más.
Resultados · “evm-blockchain”
3 Skills
Resultados: 3
Seguridad
No visual example yet
Explore the skill
Mine AI
mine-ai-xyz
Open-source reference implementations for AI-enabled payment security, blockchain fraud detection, and AML/CFT compliance reasoning.
377GitHub
Seguridad
No visual example yet
Explore the skill
cosmos-vulnerability-scanner
trailofbits
Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund loss, state divergence. 25 core + 16 IBC + 10 EVM +…
6,8 milGitHub
Guías y comparativas
- Frontend design skills ↗
- Remotion skills ↗
- Excel and XLSX skills ↗
- PDF and Word skills ↗
- AI agent skills library ↗
- Open source AI agent skills ↗
- Best Codex skills ↗
- Best AI agent skills for stock analysis ↗
- Best Codex skills for web scraping ↗
- Best Claude Code skills for PDF parsing ↗
- Best AI agent skills for football analytics ↗
- OpenAgentSkill vs skills.sh ↗
- OpenAgentSkill vs agentskills.io ↗