github search·formal-verif-is-cool-verus-spec-gym
formal-verif-is-cool/verus-spec-gym
formal-verif-is-cool/verus-spec-gym: AI coding agents are increasingly used to write real-world software, but ensuring that their outputs are correct remains a fundamental challenge. Formal verification offers a promising path: an agent generates code together with a machine-checked proof, guaranteeing that the c...
AgentScore
24.3+0.10
+0.10 vs 24h ago
Adoption22.1
Quality0.0
Momentum54.2
Community33.6
Quality unrated · weight redistributed
CapabilitiesCode GenerationMulti Agent
MaturityExperimental
Score breakdown
Headline plus the four pillars over time. Click any pillar below to see the signals feeding it.
Not enough score history in this window yet — try a wider one.
Pillar contributions
- GitHub stars3→ 10.0PyPI monthly installs+5.6%1.8M→ 78.2MCP registry listing0→ 0.0
Pillar = mean of 3 scaled values = 22.1.
Awaiting first reading — these signals apply to this agent and will be ingested on the next tier tick: SO questions (7d), Product Hunt upvotes, Docker Hub pulls, Crates.io downloads (90d), Tech-news mentions (30d)
Not applicable — this agent doesn't have the prerequisite (no GitHub repo, no HF mirror, etc.) for these signals to ever apply: HF downloads (30d), npm weekly installs
Embed badgeShow your AgentTape rank on your project README
Markdown
[](https://agenttape.com/agents/formal-verif-is-cool-verus-spec-gym)
HTML
<a href="https://agenttape.com/agents/formal-verif-is-cool-verus-spec-gym"><img src="https://agenttape.com/api/badge/formal-verif-is-cool-verus-spec-gym.svg" alt="AgentTape" /></a>
Similar
Vibe-search via embedding cosine
Score envelope last computed 9h ago.