More in developer tools
Other MCP servers in this category from the directory index
Axiomatic AI
Axiomatic Octo: semantic search and tooling for Lean formalization, from Axiomatic AI
https://prover.axiomatic-ai.com/proverConnect straight to this server’s public endpoint.
https://prover.axiomatic-ai.com/mcp/We add this server to your workspace, walk through sign-in once, then open Studio with tools ready to run.
Last probed Sep 18, 2026 · prover.axiomatic-ai.com
Axiomatic AI requires sign-in before tools can be listed. Connect the MCP server to inspect the live tool list in your client.
Get your MCP into directories
A working endpoint is step one. Directory coverage is the coordinated launch across ChatGPT, Claude, Cursor, the MCP Registry, and community indexes.
Directory coverage for brandsAxiomatic Octo: semantic search and tooling for Lean formalization, from Axiomatic AI
Use the remote MCP URL on this page in your MCP client (Claude, Cursor, VS Code, and more). Copy the endpoint if your client needs a manual entry, then complete provider sign-in when your client connects — tools appear after authentication.
This endpoint requires provider sign-in, so MCPBundles could not list tools anonymously during the last probe. After you connect and authenticate in your MCP client, your session should receive the live tool list from the provider.
Axiomatic AI may require signing in to the provider before tools can run. Connect through MCPBundles or your MCP client and complete any provider login when prompted.
Request removal if you do not want Axiomatic AI listed here, or claim the listing if you want to manage it on MCPBundles.
This server appears in the MCPBundles directory. Verify you operate it to take over the listing — name, description, logo, contact email, and skill content. We email a 6-digit code to a maintainer address your server publishes in /.well-known/security.txt or /.well-known/mcpbundles.json. Free, takes about a minute.
Other MCP servers in this category from the directory index
Request removal from the MCPBundles directory. This does not shut down or change your MCP server — we stop showing it on MCPBundles.
MCPBundles is an independent platform built on the open Model Context Protocol standard. Not affiliated with Anthropic PBC or Claude.
Bundle for MCP provider DC Hub Intelligence
91 tools