cyanseek/VibeMath

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

4Stars on the repository

3Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

vibemath

cyanseek/VibeMath

Skill Codex

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 4 1mo ago A 109 tokens original MIT