esbmc/agent-marketplace — Plugins

4Stars on the repository

5Mods indexed here, across every type

25d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

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

esbmc-plugin

esbmc/agent-marketplace

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