axle-mcp

Integrates the AXLE (Axiom Lean Engine) CLI with AI assistants to provide comprehensive tools for Lean 4 proof engineering. It enables users to validate, repair, and transform Lean theorems through a remote API without requiring a local Lean installation.

→ Vilin97/axle-mcp · listed on glama

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 2 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/vilin97-axle-mcp-1io3vg)](https://m8ven.ai/mcp/vilin97-axle-mcp-1io3vg)

commit: cc3104565f218bdc76adbb36def2a94e2252e1cb

code hash: bf1d8b83f6d5e77290507800a9722274f8ea970bd6eca4f148fae562b8826fe5

verified: 4/11/2026, 2:51:24 PM

view raw JSON →