SERVER

Formath MCP

Rank #85,878

glama/yutayamamoto/formath-mcp

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.

Not versioned
by yutayamamoto (1 servers)View repository ↗Claim this server
First listed
Aug 14, 2025
Last publish date
—
OVERVIEW

Formath MCP is a Model Context Protocol (MCP) server published by yutayamamoto. It ranks #85,878 of 137,492 servers tracked on MCP Toplist. Formath MCP is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Aug 14, 2025.

STANDING
#85,878of 137,492 tracked servers

Ranks ahead of 51,614 of 137,492 servers on MCP Toplist.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: #85,878 of 137,492
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/glama%2Fyutayamamoto%2Fformath-mcp.svg)](https://mcptoplist.com/server/glama%2Fyutayamamoto%2Fformath-mcp)
HTML
<a href="https://mcptoplist.com/server/glama%2Fyutayamamoto%2Fformath-mcp"><img src="https://mcptoplist.com/badge/glama%2Fyutayamamoto%2Fformath-mcp.svg" alt="MCP Toplist: #85,878 of 137,492" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

Glama
ORGANIZATION

yutayamamoto

Organization
yutayamamoto
Servers in org
1
Versions across org
0
VERSIONS

Not versioned

This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.

FAQ

Frequently asked questions

Who maintains Formath MCP?
Formath MCP is maintained by yutayamamoto, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
Is Formath MCP listed on the Official MCP Registry?
Formath MCP is not on the Official MCP Registry. It is listed on Glama.
How many versions does Formath MCP have?
Formath MCP ships as a single rolling release with no explicit version metadata.
Where can I find the source code for Formath MCP?
The source code for Formath MCP is hosted at github.com/yutayamamoto/formath-mcp.
Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE
All MCP ServersGitHub MCP ServersBest MCP ServersMost Active MCP ServersNew MCP ServersBest New MCP Servers