# meleantonio/open-problem-prover

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.

## Repository

- [Catalog detail page](https://awesomeclaudeplugins.com/meleantonio/open-problem-prover)
- [GitHub repository](https://github.com/meleantonio/open-problem-prover)
- Stars: 0
- Forks: 0
- 1 plugin entries are reported.

## Catalog provenance

- Publication state: indexable
- Quality note: Canonical repository has a description and validated plugin count.
- Catalog snapshot: Aug 31, 2026
- Repository metadata source: public GitHub API when available

## Installation

When this repository exposes a Claude Code marketplace, add it with:

```bash
/plugin marketplace add meleantonio/open-problem-prover
```