A
license-
qualityD
maintenanceEnables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.
Last updated
1
MIT
62,040 servers. Last updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
io.github.max124vip-dev
ai.smithery
actor.apify.godberry--content-to-social-mcp
com.borisinc
"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:
- AlicenseAqualityAmaintenanceEnables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.Last updated23449MIT
- Alicense-qualityFmaintenanceMCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.Last updated20MIT
- Alicense-qualityBmaintenanceMCP server for agentic-first PDF review of LaTeX papers, enabling commenting, compiling, and visual inspection via Claude Code.Last updated4MIT
- Alicense-qualityCmaintenanceEnables to interact with Tsurugi RDBMS by executing SQL (DDL, DML, SELECT) and retrieving metadata through MCP.Last updatedApache 2.0
- AlicenseAqualityBmaintenanceA self-hosted MCP server for Linear that reduces response sizes by field-selecting minimal data, saving tokens and costs in LLM agent sessions.Last updated3626MIT
- AlicenseAqualityBmaintenanceSupply chain risk scoring for npm, PyPI, and GitHub reposLast updated82177MIT
- Alicense-qualityBmaintenanceExposes the 23 Gang of Four design patterns to AI coding agents for generation, canonical examples, AST-based detection, validation, and anti-pattern refactoring in Python codebases.Last updatedMIT
- Alicense-qualityAmaintenanceConverts any Python Click or Typer CLI into an MCP server automatically — zero-code transformation that introspects CLI commands and exposes them as MCP tools.Last updated4Apache 2.0
- Alicense-qualityFmaintenanceA local MCP server that enables AI applications like Claude Desktop to securely access and work with Obsidian vaults, providing capabilities for reading notes, executing templates, and performing semantic searches.Last updated832MIT
- Alicense-qualityDmaintenanceA meta-server that aggregates multiple MCP servers into a single interface, reducing token usage by 98%+ through progressive tool discovery and direct code execution that processes data between tools without consuming context window space.Last updated1610Apache 2.0
- AlicenseAqualityCmaintenanceConverts AI Skills (following Claude Skills format) into MCP server resources, enabling LLM applications to discover, access, and utilize self-contained skill directories through the Model Context Protocol. Provides tools to list available skills, retrieve skill details and content, and read supporting files with security protections.Last updated327Apache 2.0
- AlicenseAqualityAmaintenancePython Docs MCP Server gives AI coding agents local access to the official Python standard library docs. It can look up docs by Python version, return specific sections, and keep answers compact for clients like Claude Desktop, Cursor, and Codex. It runs without API keys or a hosted service.Last updated67MIT
m-dev-tools-mcpofficial
AlicenseAqualityAmaintenanceMCP server that exposes tools to route natural language queries to typed IDs, describe catalog entries, and list repository verification commands for the m-dev-tools organization.Last updated3AGPL 3.0- AlicenseAqualityAmaintenanceMCP server for AI agents to send notifications, copy to clipboard, request confirmations, and collect text input from users across their devices.Last updated10281Apache 2.0
- FlicenseAqualityCmaintenanceGenerates Word documents for comparison tables and specifications from structured JSON data. Supports both stdio mode for Claude Desktop/Code and HTTP mode for AI frameworks like Dify and LangFlow.Last updated3
- AlicenseAqualityCmaintenanceA Python MCP server that generates complete Vue 3 CRUD structures with Composition API, including components, services, stores, and routes.Last updated1MIT
- AlicenseAqualityDmaintenanceChain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement of thoughts and designs. It integrates seamlessly with popular AI agents and provides a structured approach to reasoning, API design, architecture decisions, code rLast updated12524MIT
- AlicenseAqualityCmaintenanceRoutes one brief to the right image model across 60+ (gpt-image-1.5, Ideogram 3, Recraft V4, Flux), validates the output, and fans out to iOS/Android/PWA/favicon/visionOS/Flutter bundles. Works without an API key via Pollinations, HF Inference, Stable Horde, or host-LLM inline SVG.Last updated2415MIT
- AlicenseAqualityDmaintenanceAn MCP server for BitBucket Cloud operations that enables AI agents to manage repositories, branches, pull requests, and search code.Last updated32MIT