🎯

esbmc-verification

🎯Skill

from esbmc/agent-marketplace

What it does

Performs formal verification of C/C++ software models using bounded model checking to detect potential bugs, race conditions, and safety violations.

esbmc-verification

Installation

Vibe Index InstallInstalls to .claude/skills/

npx vibeindex add esbmc/agent-marketplace --skill esbmc-verification

skills.sh Install⚠ Installs to .agents/skills/

npx skills add esbmc/agent-marketplace --skill esbmc-verification

Manual InstallCopy SKILL.md content and save to the path below

~/.claude/skills/esbmc-verification/SKILL.md

3Installs

Last UpdatedFeb 27, 2026