axle-mcp-server
byaxiommath· 1 MCP server
MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients
How to install axle-mcp-server?
axiommath/axle-mcp-server
$git clone https://github.com/axiommath/axle-mcp-serverInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Install axle-mcp-server by running `git clone https://github.com/axiommath/axle-mcp-server`, then use it for the current task and follow its documentation at https://github.com/axiommath/axle-mcp-server.
Related
6 picksType
- mcp-proxy-for-awsAWS MCP Proxy ServerJul 2026
- alibaba-cloud-ops-mcp-serverAlibabaCloud CloudOps MCP ServerMar 2026
- aws-mcpAWS MCP server — call any AWS API from AI assistants, with first-class SSO re-loginJul 2026
- linode-mcp-serverA Model Context Protocol (MCP) server that enables AI assistants like Claude to interact with your Linode Cloud Platform environment.May 2026
- mcp-openstack-ops90+ production-safe OpenStack tools for AI agents via MCP. Project-scoped & read-only by default. Works with Claude, Open WebUI & any MCP client. FastMCP + OpenStack SDK. Available on PyPI, Docker Hub & Smithery.Jul 2026
- mcp-server-s3AWS S3 MCP — list buckets, browse objects, upload/download, presigned URLs.Mar 2026
