The efficient SMT-based context-bounded model checker (ESBMC)
Latest release v8.6 — ESBMC v8.6 · 15 Oct 2026
4 files for GitHub Copilot, Codex, OpenCode and Claude Code: esbmc copilot-instructions.md, esbmc AGENTS.md, PostToolUse, esbmc — 3,525 tokens loaded in every session.
.github/copilot-instructions.md A 693 tok AGENTS.md A 2,832 tok .claude/settings.json A — .claude/settings.json A — These files are esbmc/esbmc's own configuration — they tell GitHub Copilot, Codex, OpenCode and Claude Code 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.