diffblue/cbmc

C Bounded Model Checker

Latest release cbmc-6.11.0 · 21 Aug 2026

1 file for Codex and OpenCode: cbmc AGENTS.md — 7,198 tokens loaded in every session.

Open on GitHub diffblue.github.io

1,162Stars on the repository

1Files it configures its agents with

7,198Tokens loaded in every session

2Agents configured

Instructions

cbmc AGENTS.md AGENTS.md A 7,198 tok

These files are diffblue/cbmc's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.