Archerkattri/mathlas vs AWS KB Retrieval
Сравнение двух 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.
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
Сравнение
| Параметр | Archerkattri/mathlas | AWS KB Retrieval |
|---|---|---|
| Цена | Free | Free |
| Установки | — | — |
| Рейтинг | — | — |
| Проверен | — | |
| Hosted | — | — |
| Инструменты | — | — |
| Категория | ai | ai |
| Автор | Archerkattri | modelcontextprotocol |
| Репозиторий | Archerkattri/mathlas | modelcontextprotocol/servers-archived |
Когда выбрать 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.
Когда выбрать AWS KB Retrieval
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
Ищешь что-то другое? Весь каталог MCP или в тренде на неделе.