OpenAgentSkill Registry Manifest Skill: Toychain Slug: verse-lab-toychain Category: web3-analytics Description: A minimalistic blockchain consensus implemented and verified in Coq Agent fit: - Decision: 37/100 Needs manual review - Primary fit: Coding agents - Role: Needs validation Supply profile: - Track: Coding and developer agents - Scenario: Coding agents - Applicable agents: Claude Code, CLI, Codex, Cursor, Coq - Maintenance: 6y since push - Risk: Needs review Trust: - Trust score: 70/100 Manual review - Audit: 62/100 Needs review Attribution: - Status: Community indexed - Source: GitHub star discovery - Creator: verse-lab - Claim URL: https://www.openagentskill.com/skills/verse-lab-toychain#claim-this-skill Install: npx skills add verse-lab/toychain URLs: - Web: https://www.openagentskill.com/skills/verse-lab-toychain - API: https://www.openagentskill.com/api/agent/skills/verse-lab-toychain - Install API: https://www.openagentskill.com/api/skills/verse-lab-toychain/install - Repository: https://github.com/verse-lab/toychain