agentsclimarketplace
Sign in

Select open problem

Skill meleantonio/open-math-prover/skills/select-open-problem

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.From the repository description

Install
npx -y skills add meleantonio/open-math-prover --skill select-open-problem

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

  • 1 stars1 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

Keep looking

Skills are one crate of 627,801. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.