Comparison
Mathlas vs Open Webui
Open Webui has more GitHub stars (155,744 vs 0). Open Webui was updated more recently (last commit 14h 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
Open Webui
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
$
pip install open-webui| Metric | Mathlas | Open Webui |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 0 | 155,744 |
| Stars, last 7 days | — | — |
| Forks | 0 | 22,670 |
| Upvotes | 0 | 0 |
| Language | — | Python |
| License | — | — |
| Last commit | — | 14h ago |
| Created | — | Oct 2023 |
| Categories | Search & web, AI & LLM tooling | AI & LLM tooling, Memory & knowledge, Design & frontend |