Mathlas vs Dingo

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
D
Dingo
DataEval
🧮 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.MCP server for the Dingo: a comprehensive data quality evaluation tool. Server Enables interaction with Dingo's rule-based and LLM-based evaluation capabilities and rules&prompts listing.
Quality signal23/100 (Emerging)31/100 (Emerging)
Install pathnpx · lownpx · low
Engagement 1 0 0 9 2 0 0 731
ToolsNot listed yetNot listed yet
Verified / officialNoNo
Open listingView MathlasView Dingo
More alternatives to MathlasMore alternatives to DingoData Science Tools category

Other servers like Mathlas