com.axiomatic-ai/prover

github.com
Открыть сайт

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Описание

Установка

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

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

Тип MCP-сервер
КатегорияMCP-серверы
Цена бесплатно
Платформа Командная строка
Системы cli, api
Хостингcloud
Установкаmcp
Протоколыmcp
Язык сайтаen
GitHubAxiomatic-AI/ax-prover-base-mcp
Запуск2026-02-23

Платформы

api cli

Протоколы

mcp

Исходный код

Axiomatic-AI/ax-prover-base-mcp

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

mcp-registry

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

ClickHouse
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
Outset
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

Предложить сайт в каталог

Пришлите ссылку — остальное мы выясним сами.

Мы рассмотрим, что вы прислали, и добавим в каталог, если подойдёт.

Не знаете, как внедрить? Мы поможем

Расскажите про задачу — подберём инструменты и подскажем, с чего начать.

0 / 5000
Проверочный код

Поля со звёздочкой обязательны. Данные используются только для ответа.