OpenAgentSkill Registry Manifest
Skill: ConCert
Slug: au-cobra-concert
Category: web3-analytics
Description: A framework for smart contract verification in Coq

Agent fit:
- Decision: 71/100 Prototype first
- Primary fit: Coding agents
- Role: Fallback candidate

Supply profile:
- Track: Coding and developer agents
- Scenario: Coding agents
- Applicable agents: Claude Code, CLI, Codex, Cursor, Rocq Prover
- Maintenance: 2mo since push
- Risk: Needs review

Trust:
- Trust score: 78/100 Strong shortlist
- Audit: 81/100 Needs review

Attribution:
- Status: Community indexed
- Source: GitHub star discovery
- Creator: AU-COBRA
- Claim URL: https://www.openagentskill.com/skills/au-cobra-concert#claim-this-skill

Install:
npx skills add AU-COBRA/ConCert

URLs:
- Web: https://www.openagentskill.com/skills/au-cobra-concert
- API: https://www.openagentskill.com/api/agent/skills/au-cobra-concert
- Install API: https://www.openagentskill.com/api/skills/au-cobra-concert/install
- Repository: https://github.com/AU-COBRA/ConCert