com.axiomatic-ai/prover

Autenticación

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

Versión: 0.1.0
Publicado en el registro: 2026-02-23T23:16:23+01:00
Último escaneo: 29/8/2026, 23:23:14

Insignia para tu repositorio

Se actualiza sola con el estado real de este servidor — sin que tengas que volver a tocarla nunca.

[![Centinela](https://centinela.llimalabs.com/api/badge/1650.svg)](https://centinela.llimalabs.com/board/1650)

Esto es solo la ficha básica

El historial completo (cuándo cambió, qué cambió) y el detalle de cada hallazgo — con la explicación de la IA — solo se ven vigilando este servidor desde tu cuenta.

Vigilar este servidor