🎯

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/ - auto-recognized by Claude Code

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

skills.sh Install⚠ Installs to .agents/skills/ - may not be auto-recognized by Claude Code

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

AddedFeb 26, 2026