io.github.Archerkattri/mathlas

github.com

Открыть сайт

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Описание

Установка

pypi:mathlas-mcp

Не знаете, с чего начать — попросите ассистента провести по шагам:

Характеристики

Тип	MCP-сервер
Категория	MCP-серверы
Цена	бесплатно
Платформа	Командная строка
Системы	cli, api
Хостинг	local
Установка	mcp
Протоколы	mcp
Язык сайта	en
GitHub	Archerkattri/mathlas
Запуск	2026-07-02

Платформы

Протоколы

Исходный код

Archerkattri/mathlas

Найден в источниках

Похожие в разделе «MCP-серверы»

ClickHouse - колоночная СУБД для OLAP. Обеспечивает SQL-запросы за миллисекунды на петабайтах данных. Идеально для real-time аналитики.

JustCall MCP Server

JustCall MCP Server enables LLMs and AI agents to make voice calls and send SMS via JustCall APIs.

Octoparse MCP Server

Official Octoparse MCP server for template discovery, cloud tasks, and structured data export.

Parallel Search MCP

The best web search for your AI Agent

AI-moderated research platform: create and launch studies and query interview results.

io.gainium/gainium-mcp

MCP server for Gainium — manage trading bots, deals, and balances via AI assistants