{"name":"esbmc-esbmc-marketplace","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"esbmc-esbmc-plugin-esbmc-plugin","source":{"source":"github","repo":"esbmc/agent-marketplace"},"description":"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","version":"1.1.0","strict":true,"keywords":["esbmc","model-checker","formal-verification","static-analysis","bug-detection","memory-safety","bounded-model-checking","smt-solver"],"category":"utilities"}]}