Finance
No visual example yet
Explore the skill
Toychain
verse-lab
A minimalistic blockchain consensus implemented and verified in Coq
113GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “coq”
2 Skills
Results: 2
Finance
No visual example yet
Explore the skill
ConCert
AU-COBRA
A framework for smart contract verification in Coq
129GitHub
Guides & comparisons
- 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 ↗