ПРОФИЛЬ / БАЗЫ ДАННЫХ

mathlas

Математические инструменты для ИИ-агентов: поиск теорем, распознавание констант через PSLQ и обращение к OEIS.

Репозиторий — откроется в новой вкладкеСайт или документация — откроется в новой вкладке

СВЕДЕНИЯ ИЗ ИСХОДНОЙ БАЗЫ

О проекте

Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key

Исходное описание, снимок базы от 2026-10-03. Это не самостоятельная проверка редакции all-mcp.ru.