N/A
Vilin97/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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://glama.ai/mcp/servers/ygj4lqbip7
- Framework mcp
- Sources glama
- First Seen Mar 16, 2026
- Repository github.com/Vilin97/axle-mcp
Browse more:
Search all agents
Ecosystem Report