Axle
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 installa
What is Axle?
Axle is a Model Context Protocol (MCP) server that allows AI assistants like Claude, Cursor, and VS Code to 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 ...
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 installa
This server falls under the Developer Tools and Coding Agents categories on MCPgee, the world's largest MCP server directory with 33,000+ servers.
Features
- Integrates the AXLE (Axiom Lean Engine) CLI with AI assistan
Use Cases
Maintainer
Works with
Installation
Manual Installation
npx axleConfiguration
Configuration Details
claude_desktop_config.json
Performance
Response Metrics
Resource Usage
Frequently Asked Questions about Axle
What is Axle?
Axle is a Model Context Protocol (MCP) server that 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 installa It connects AI assistants to external tools and data sources through a standardized interface.
How do I install Axle?
Follow the installation instructions on the Axle GitHub repository. Clone the repo, install dependencies, and add the server config to your AI client.
Which AI clients work with Axle?
Axle works with all major MCP-compatible AI clients including Claude Desktop, Claude Code, Cursor, VS Code (GitHub Copilot), Windsurf, and Cline.
Is Axle free to use?
Yes, Axle is open source and available under the MIT license. You can use it freely in both personal and commercial projects.
Axle Alternatives — Similar Developer Tools Servers
Looking for alternatives to Axle? Here are other popular developer tools servers you can use with Claude, Cursor, and VS Code.
Ecc
★ 188.2kThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Javaguide
★ 155.8kJava 面试 & 后端通用面试指南，覆盖计算机基础、数据库、分布式、高并发、系统设计与 AI 应用开发
Gemini CLI
★ 104.5kA secure MCP server that wraps the Google Gemini CLI, allowing clients to query Gemini models using local OAuth sessions without requiring an API key. It provides tools for model interaction and diagnostics with built-in protection against command in
Awesome MCP Servers
★ 87.3k⭐ Curated list of Model Context Protocol (MCP) servers - tools that extend Claude Desktop, Cursor, Windsurf, and other MCP clients with custom capabilities.
MCP Servers
★ 86.0kModel Context Protocol Servers
CC Switch
★ 77.5kA cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io
Browse More Developer Tools MCP Servers
Explore all developer tools servers available in the MCPgee directory. Each server includes setup guides for Claude, Cursor, and VS Code.
Set Up Axle in Your Editor
Choose your AI client for step-by-step setup instructions.
Quick Config Preview
Add this to your claude_desktop_config.json or .cursor/mcp.json
Ready to use Axle?
Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.