esbmc/agent-marketplace

ESBMC Plugin for Claude Code

1 file for Claude Code: agent-marketplace CLAUDE.md — 687 tokens loaded in every session.

Open on GitHub

4Stars on the repository

1Files it configures its agents with

687Tokens loaded in every session

1Agent configured

Instructions

agent-marketplace CLAUDE.md CLAUDE.md A 687 tok

These files are esbmc/agent-marketplace's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.