esbmc/agent-marketplace

ESBMC Plugin for Claude Code

4Stars on the repository
5Mods indexed here, across every type
6mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

esbmc/agent-marketplace

Instructions file

Instructions for esbmc/agent-marketplace, covering claude.md, project overview, architecture, workflow preferences and development.

4 6mo ago A 687 tokens original MIT