Enables AI agents to explore an open, evidence-rich map of math problems, AI attempts, partial progress, solution claim…
Enables AI agents to explore an open, evidence-rich map of math problems, AI attempts, partial progress, solution claims, and replay-ready opportunities, with six read-only tools for searching, retrieving, and exporting status and handoffs.
cyanseek
mcp
free
