Formath
Enables extraction of mathematical content from TeX papers and conversion to Lean code through a structured intermediate representation. Supports project scaffolding, entity management, and task tracking for mathematical formalization workflows.
What is Formath?
Formath is a Model Context Protocol (MCP) server that allows AI assistants like Claude, Cursor, and VS Code to enables extraction of mathematical content from tex papers and conversion to lean code through a structured intermediate representation. supports project scaffolding, entity management, and task track...
Enables extraction of mathematical content from TeX papers and conversion to Lean code through a structured intermediate representation. Supports project scaffolding, entity management, and task tracking for mathematical formalization workflows.
This server falls under the Developer Tools category on MCPgee, the world's largest MCP server directory with 33,000+ servers.
Features
- Enables extraction of mathematical content from TeX papers a
Use Cases
Maintainer
Works with
Installation
Manual Installation
npx formath-mcpConfiguration
Configuration Details
claude_desktop_config.json
Performance
Response Metrics
Resource Usage
Frequently Asked Questions about Formath
What is Formath?
Formath is a Model Context Protocol (MCP) server that enables extraction of mathematical content from tex papers and conversion to lean code through a structured intermediate representation. supports project scaffolding, entity management, and task tracking for mathematical formalization workflows. It connects AI assistants to external tools and data sources through a standardized interface.
How do I install Formath?
Follow the installation instructions on the Formath GitHub repository. Clone the repo, install dependencies, and add the server config to your AI client.
Which AI clients work with Formath?
Formath works with all major MCP-compatible AI clients including Claude Desktop, Claude Code, Cursor, VS Code (GitHub Copilot), Windsurf, and Cline.
Is Formath free to use?
Yes, Formath is open source and available under the MIT license. You can use it freely in both personal and commercial projects.
Formath Alternatives — Similar Developer Tools Servers
Looking for alternatives to Formath? Here are other popular developer tools servers you can use with Claude, Cursor, and VS Code.
Ecc
★ 188.2kThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Javaguide
★ 155.8kJava 面试 & 后端通用面试指南，覆盖计算机基础、数据库、分布式、高并发、系统设计与 AI 应用开发
Gemini CLI
★ 104.5kA secure MCP server that wraps the Google Gemini CLI, allowing clients to query Gemini models using local OAuth sessions without requiring an API key. It provides tools for model interaction and diagnostics with built-in protection against command in
Awesome MCP Servers
★ 87.3k⭐ Curated list of Model Context Protocol (MCP) servers - tools that extend Claude Desktop, Cursor, Windsurf, and other MCP clients with custom capabilities.
MCP Servers
★ 86.0kModel Context Protocol Servers
CC Switch
★ 77.5kA cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io
Browse More Developer Tools MCP Servers
Explore all developer tools servers available in the MCPgee directory. Each server includes setup guides for Claude, Cursor, and VS Code.
Set Up Formath in Your Editor
Choose your AI client for step-by-step setup instructions.
Quick Config Preview
Add this to your claude_desktop_config.json or .cursor/mcp.json
Ready to use Formath?
Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.