frontier-math-prover
Cross-agent tools for rigorous open-problem mathematics research.
Cross-agent tools for rigorous open-problem mathematics research.
Contains
1 plugin.
Install
/plugin marketplace add meleantonio/frontier-math-prover
Then browse and install with /plugin install.
Source
Repository: https://github.com/meleantonio/frontier-math-prover
Maintain frontier-math-prover?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[frontier-math-prover on getagentictools](https://getagentictools.com/plugins/meleantonio-frontier-math-prover?ref=badge) npx agentictools info plugins/meleantonio-frontier-math-prover The second line is the CLI lookup for this page — handy in READMEs and docs.
Related plugins
fsi-local This repository is forked by anthropic financial agents repo, but it can be run in your computer.
g-claude Claude Code plugin marketplace by starmountain1997.
g-claude-code-plugins Claude Code plugin marketplace by Ben2pc.
gdf-marketplace Claude Code plugin marketplace by grumps.
foldspace-plugins Claude Code plugin marketplace by Eucera.
foontinz-tools Claude Code plugin marketplace by foontinz.