com.axiomatic-ai/prover

http

v0.1.0

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

axiomatic

prover

Транспорт

MCP-сервер использует http. Агенты подключаются к удалённому HTTP-адресу. Адрес сервера: https://prover.axiomatic-ai.com/mcp/

Find and engage verified nonprofits for corporate giving

Run legal research and draft work product

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.