🏪

meleantonio/open-math-prover

🏪Marketplace

Add this Marketplace

Add marketplace in Claude Code:

$/plugin marketplace add meleantonio/open-math-prover

What it does

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.

1Plugins

Last UpdatedJul 25, 2026

Plugins in this Marketplace

🔌

open-math-prover

mathematics

Prove open math problems with CDC-style prompts, multi-approach search, and adversarial audit

View on GitHub Back to Marketplaces