AXLE Lean Engine

2

Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.

GitHub
Category CLI Tools
Language Python
Added Mar 28, 2026
Views 66

About

Provides 16 tools that wrap the AXLE CLI for Lean 4 proof engineering without requiring a local Lean installation. Supports proof checking and validation, automatic proof repair for broken or sorry'd theorems, proof simplification by removing redundant tactics, counterexample discovery via property-based testing, and structural transformations including theorem extraction, merging, and renaming. Requires the axle binary to be installed and accessible.

Is this your product? Claim this listing with an email at your domain to post updates.

Is this your project?

Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.

Log In to Claim

Share This Project

Share on X Share on LinkedIn

Embed Badge

Add this badge to your README:

[![Listed on AiList](https://hifriendbot.com/ai-list/badge/axle-lean-engine.svg)](https://hifriendbot.com/ai-list/axle-lean-engine/)
Listed on AiList

Compare

AXLE Lean Engine vs Rust Lean AXLE Lean Engine vs Quint AXLE Lean Engine vs Lean Info

Similar Projects

Rust Lean

Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.

MCP Servers

Quint

2

Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.

CLI Tools

Lean Info

Bridges Lean 4 proof assistant InfoView data to external tools for real-time goal states, diagnostics, and proof context.

MCP Servers

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project