Mathlas vs Math Mcp Learning Server

Side-by-side comparison of two Model Context Protocol servers — install paths, tools, quality signals, and directory engagement so you can pick the right one for Claude, Cursor, and other MCP clients.

Compare
M
Mathlas
Archerkattri
🧮 Data Science Tools
M
🧮 Data Science Tools
SummaryAirtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.Educational MCP server for math operations, statistics, visualization, and persistent workspaces. Built with FastMCP 2.0.
Quality signal23/100 (Emerging)20/100 (Emerging)
Install pathnpx · lownpx · low
Engagement 1 0 0 9 2 0 0
ToolsNot listed yetNot listed yet
Verified / officialNoNo
Open listingView MathlasView Math Mcp Learning Server
More alternatives to MathlasMore alternatives to Math Mcp Learning ServerData Science Tools category

Other servers like Mathlas