Archerkattri/mathlas
Что делает сервер
Математические инструменты для ИИ-агентов: поиск теорем, распознавание констант через PSLQ и обращение к OEIS.
Базы данных · Сведения из MCP Каталога ↗
Снимок: 05.08.2026. Работа сервера не проверялась.
Полное описание из сохранённой выгрузки
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key
Текст источника · 05.08.2026.
Туториалы и подключение
Материалы источника для указанной пары сервера и клиента. Точные параметры установки и доступов сверяйте с документацией автора.
Документация автора
Клиенты, указанные в источнике: Cursor. Наличие записи не подтверждает проверенную совместимость.
Способ установки, поддерживаемые MCP-клиенты, необходимые права и актуальные условия использования уточняйте в документации автора.
Сведения о проекте
- Тематика
- Базы данных
- Снимок каталога
- 05.08.2026
- Получено
- 27.10.2026
- Обогащено
- 27.10.2026
Карточка в MCP Каталоге ↗ · Источник автора ↗
Описание и характеристики перенесены из сохранённого списка источника. Доступность проекта, работоспособность MCP-инструментов и условия лицензии отдельно не подтверждались.