Centinela
ES
← Board

com.axiomatic-ai/prover

https://prover.axiomatic-ai.com/mcp/
Auth required

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

Version
0.1.0
Published in registry
2026-02-23T23:16:23+01:00
Last scanned
8/29/2026, 11:23:14 PM
Repository

Badge for your repository

Updates itself with this server's real status — you never have to touch it again.

Centinela: Auth required
[![Centinela](https://centinela.llimalabs.com/api/badge/1650.svg?lang=en)](https://centinela.llimalabs.com/en/board/1650)

This is just the basic listing

The full history (when it changed, what changed) and the detail of every finding — with the AI explanation — only show up once you watch this server from your account.

Watch this server