Marketplaces
Marketplace
esbmc-marketplace
ESBMC software model checker integration for Claude Code
Plugins
Plugin
esbmc-plugin
Verify C, C++, Python, Solidity, and Java/Kotlin programs for bugs, memory safety, undefined behavior, and more using ESBMC bounded model checker