Back to all repositories
ME
open-math-prover
by meleantonio
Multi-agent plugin for proving open math problems: problem selection, CDC-style prompts, multi-approach search, adversarial audit. Works with Claude Code, Cursor, Codex, Grok, Copilot, Gemini.
1stars0forks0watchers/subscribers0issues
- Language
- Shell
- License
- MIT License
- Size
- 31 KB
- Created
- Jul 23, 2026
- Last Updated
- Aug 21, 2026
- Last Pushed
- Jul 23, 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.