Mathlas vs Fetch
Сравнение двух MCP-серверов по фактам. Выбери подходящий для Claude Desktop, Claude Code или Cursor.
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API
Сравнение
| Параметр | Mathlas | Fetch |
|---|---|---|
| Цена | Free | Free |
| Установки | — | 1 |
| Рейтинг | — | — |
| Проверен | — | |
| Hosted | — | — |
| Инструменты | — | — |
| Категория | ai | ai |
| Автор | Archerkattri | Community |
| Репозиторий | Archerkattri/mathlas | modelcontextprotocol/servers |
Когда выбрать Mathlas
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Когда выбрать Fetch
Web content fetching and conversion for efficient LLM usage.
Ищешь что-то другое? Весь каталог MCP или в тренде на неделе.