Back to all repositories
ES
agent-marketplace
by esbmc
ESBMC Plugin for Claude Code
4stars2forks1watchers/subscribers0issues
- Language
- C
- License
- MIT License
- Size
- 126 KB
- Created
- Feb 19, 2026
- Last Updated
- Apr 24, 2026
- Last Pushed
- Feb 27, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.