AI Tools Scout
Open-source ToolsLLM ProjectsMCP ServersMethodology
AI Tools Scout

An open-source AI tools directory with clear use cases, visible source freshness, and maintenance evidence for anyone deciding what to try.

Explore
Open source AI projectsOpen source LLM projectsMCP servers list
More
SkillsContentAbout
Rankings use public ecosystem signals. Treat them as a starting point, then confirm license, setup, safety, and fit with the upstream project.
  1. Home
  2. /MCP Servers
  3. /AXLE Lean Engine

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 ↗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/27/2026

Weekly AI open-source movers

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