MCP сервер для математических вычислений - даёт ИИ надёжный поиск теорем, проверку численных и формальных утверждений, идентификацию констант и последовательностей. Без API ключа, возвращает проверяемые данные. Полезен разработчикам, строящим агентные пайплайны.
235 местоАгенты для программированияВыполнение кодаЗнания и памятьИИ и машинное обучениеИнструменты для разработчиковОткрытые данныеПоискТестирование и QA
