Developer Tools●●●Banger
Verity, Formally verified smart contracts from spec to bytecode
Formally verified EVM bytecode with zero sorries—actually ships working proofs.
WizardryBig BrainZero to One
th0rgal2
103mo ago
Back to browse
GitHub Repository
0 starsPython
Heddle, content-addressed contracts for spec-driven agent loops
by davet47·Jun 24, 2026·3 points·0 comments
AI Analysis
●●●BangerBig BrainWizardry
Content-addressed contracts cut agent context from thousands to hundreds of tokens.
Strengths
- •Verification caching keyed on contract hashes avoids redundant test runs.
- •Mechanical blast radius calculation via dependency hashes, not conventions.
- •Benchmark shows concrete token reduction with reproducible script.
Weaknesses
- •Zero stars and 31 commits signals very early-stage adoption.
- •Requires adopting contract-first workflow that may not fit all projects.
Category
Target Audience
Developers building spec-driven AI agent systems
Similar Projects
AI/ML●●Solid
AgentContract – behavioral contracts for AI agents
YAML contracts enforce agent behavior where Guardrails and LMQL focus on outputs.
Big BrainBold Bet
MMO_
103mo ago
Developer Tools●●Solid
Agentfile one contract.yaml for all your AI agent instruction files
Single YAML contract eliminates instruction drift across Claude, Cursor, and Copilot.
Solve My ProblemCozy
bychanzey
113mo ago
Developer Tools●●Solid
Prisma Next – data contracts, migration graphs, agent DX
Prisma rewritten in TypeScript with native agent skills that auto-load into Claude Code and Cursor.
SlickSolve My Problem
wmadden
1321mo ago
Developer Tools●●●Banger
ANMA, boundary contracts for cheaper AI coding agents
Cheaper models violated boundaries 13/19 times without it, 0/20 with statistical significance.
Big BrainWizardrySolve My Problem
nxy
323d ago
AI/ML●●Solid
Due Diligence Agents – 13 AI agents for M&A contract analysis
Cross-domain agent correlation catches what siloed advisor reports miss.
Solve My ProblemSlick
zoharbabin
201mo ago