The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.
Instructions file CodexOpenCode
AGENTS.md instructions for cyanseek/VibeMath: VibeMath maps the live frontier of AI mathematics for people and agents. The public name, Skill, CLI, and MCP server remain VibeMath / 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…
MCP server Claude CodeCodexCursor
MCP server "vibemath" as configured in cyanseek/VibeMath. Runs locally from the vibemath npm package.