EVIDENCE TIER 4CLEANMCP Registry

com.axiomatic-ai/prover

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

Evidence State

CLEAN

Archived Score

10/10

Findings

Ecosystem

MCP Registry

About this skill

com.axiomatic-ai/prover is an indexed MCP Registry agent-skill record with evidence tier 4. The historical record lists 0 findings. These are archived results, not a current assessment; validate the present upstream source independently.

Source: https://github.com/Axiomatic-AI/ax-prover-base-mcp

Historical check date: 2026-08-12T18:51:49.442188+00:00

Evidence & source

This archived record preserves historical results and source references. It is not a current assessment or a guarantee of safety.

View Record JSON →View Artifact Manifest View Upstream Source

Related MCP Registry skills

agency.lona/tradingT2 ai.adramp/google-adsT2 ai.agenttrust/mcp-serverT4 ai.aliengiraffe/spotdbT4 ai.auteng/mcpT2 ai.autoblocks/contextlayer-mcpT2