Plugin Claude Code
Plugin marketplace listing 1 plugin: esbmc-plugin.
4 6mo ago A
tokens not measured
original MIT
4Stars on the repository
6Mods indexed here, across every type
6mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
esbmc-plugin
02Plugin 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