🏪

meleantonio/frontier-math-prover

🏪Marketplace

What it does

Cross-agent plugin for rigorous open-problem mathematics research

Add this Marketplace

Add marketplace in Claude Code:

/plugin marketplace add meleantonio/frontier-math-prover

1Plugins

Last UpdatedJul 23, 2026

Persistent, adversarial proof search for open mathematics problems.