esbmc

3 mods in 1 plugin, 2 repositories, 535 stars between them.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

esbmc-plugin

Plugin Claude Code

Bundles 1 skill, 2 commands · 272 tokens together

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.

not rated 4 25d ago A tokens not measured original MIT