Install MathForm-8B Autoformalization in Codex

This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.

It works in these clients:

• Claude Desktop
• Claude Code
• Cursor
• VS Code
• Devin Desktop
• Zed
• Cline
• Continue
• Goose
• LM Studio
• Gemini CLI
• mcp-client-cli
• oterm
• TUUI
• BoltAI
• Agenvoy
• Amp
• AnythingLLM
• Augment Code
• Bob Shell
• ECA
• Kiro
• Kiro CLI

Back to MathForm-8B Autoformalization