Instructions file GitHub Copilot
Copilot instructions for esbmc/esbmc, covering github copilot review instructions for esbmc, project context, key review focus areas, 1. correctness & safety and 2. code quality.
516 yesterday A 614 tokens
Instructions file CodexOpenCode
AGENTS.md instructions for esbmc/esbmc, a project described as: The efficient SMT-based context-bounded model checker (ESBMC).
516 yesterday A 4 tokens
Instructions file
Claude Code instructions for esbmc/esbmc, covering agents.md, project overview, build commands, build (uses ninja) and install.
516 yesterday C 6,062 tokens
Plugin Claude Code
Plugin marketplace listing 1 plugin: esbmc-plugin.
4 6mo ago A
tokens not measured
original MIT
Instructions file
Instructions for esbmc/agent-marketplace, covering claude.md, project overview, architecture, workflow preferences and development.
4 6mo ago A 687 tokens
original MIT
esbmc-plugin
06Plugin Claude Code
ESBMC software model checker integration for Claude Code - verify C, C++, Python, Solidity, and Java/Kotlin programs for bugs, memory safety, undefined behavior, and more.
4 6mo ago A
tokens not measured
original MIT
audit
07Command
Perform a comprehensive security audit on a source file using ESBMC.
4 6mo ago A 15 tokens
original MIT
verify
08Command
Verify a source file with ESBMC for bugs and safety violations.
4 6mo ago A 15 tokens
original MIT
Skill Claude CodeCodex
This skill should be used when the user asks to "verify code", "run ESBMC", "model check", "check for bugs", "find memory leaks", "detect buffer overflow", "find undefined behavior", "check for race conditions", "detect deadlocks", "prove correctness", "add verification intrinsics", "add nondet values", "add type…
4 6mo ago A 242 tokens
original MIT