Marketplace

esbmc-marketplace

ESBMC software model checker integration for Claude Code

Stars

Forks

Plugins

Installation

Add the marketplace

/plugin marketplace add esbmc/agent-marketplace

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

GitHub Repository

esbmc/agent-marketplace

Plugins

Skills

Agents

Owner

@esbmc

View GitHub Profile

Last Crawled

March 15, 2026

Plugin

Verify C, C++, Python, Solidity, and Java/Kotlin programs for bugs, memory safety, undefined behavior, and more using ESBMC bounded model checker