Instructions file CodexOpenCode
AGENTS.md instructions for diffblue/cbmc, covering agents.md - guide for ai coding assistants, project overview, what cbmc does, project website and repository structure.
1.1k 11d ago A 7,198 tokens
1.1kStars on the repository
1Mods indexed here, across every type
11d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied