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.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).