Back to all repositories
ME
open-problem-prover
by meleantonio
Turn any coding agent (Claude Code, Codex, Cursor, Copilot, Gemini CLI...) into a disciplined research machine for attacking open problems in mathematics — proof contracts, portfolio search, adversarial audits, exact-arithmetic verification. Implements Shouqiao Wang's 6-Erdős-problems-in-5-days workflow.
0stars0forks0watchers/subscribers0issues
ai-agentsclaude-code-pluginerdos-problemslean4mathematicstheorem-proving
- Language
- Shell
- License
- MIT License
- Size
- 58 KB
- Created
- Jul 23, 2026
- Last Updated
- Jul 23, 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.