🔭AI Tools Scout

Leaderboard MCP Skills Content About

🔭AI Tools Scout·Open signals for AI builders

Leaderboard MCP Skills Content About

AXLE Lean Engine — MCP Server | AI Tools Scout

← Back to MCP Directory

AXLE Lean Engine

Dev

by vilin97

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

GitHub &nearr;PulseMCP

2

Stars

0

Installs

0

Tools

N/A

Security

Server Info

Category: Dev
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: PulseMCP
Published: N/A
Last Updated: 3/26/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.