agentmods.dev

cyanseek/VibeMath

The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.

Open on GitHub
2Stars on the repository
3Mods indexed here, across every type
18d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

vibemath

01

cyanseek/VibeMath

Skill Claude CodeCodex

Query the current AI mathematics frontier, audit solution claims and verification boundaries, find replay-ready opportunities, compare methods, or export a problem to Low-Hanging Fruit. Use for questions such as what AI solved recently, which claims are only candidates, which results are Lean- or expert-verified, what…

not rated 2 18d ago A 109 tokens original MIT