Comparison
Mathlas vs Dify
Dify has more GitHub stars (158,523 vs 0). Dify was updated more recently (last commit 3h ago). Data comes straight from GitHub and refreshes daily.
Mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
$
uvx mathlas-mcp
Dify
Build Agentic workflows, RAG pipelines, with rich AI model and tool support on one collaborative workspace. Deploy on cloud, VPC, or self-hosted, so teams move from prototype…
$
git clone https://github.com/langgenius/dify| Metric | Mathlas | Dify |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 0 | 158,523 |
| Stars, last 7 days | — | — |
| Forks | 0 | 25,042 |
| Upvotes | 0 | 0 |
| Language | — | TypeScript |
| License | — | — |
| Last commit | — | 3h ago |
| Created | — | Apr 2023 |
| Categories | Search & web, AI & LLM tooling | AI & LLM tooling, Memory & knowledge, Frameworks & SDKs |