Archerkattri/mathlas vs Fetch
Сравнение двух MCP-серверов по фактам. Выбери подходящий для Claude Desktop, Claude Code или Cursor.
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Сравнение
| Параметр | Archerkattri/mathlas | Fetch |
|---|---|---|
| Цена | Free | Free |
| Установки | — | 1 |
| Рейтинг | — | — |
| Проверен | — | |
| Hosted | — | — |
| Инструменты | — | — |
| Категория | ai | ai |
| Автор | Archerkattri | Community |
| Репозиторий | Archerkattri/mathlas | modelcontextprotocol/servers |
Когда выбрать Archerkattri/mathlas
Airtight math for agents: 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 или в тренде на неделе.