A
license-
qualityB
maintenanceAn MCP server for ingesting Lean Six Sigma PDFs into a searchable multimodal knowledge base.
Last updated
MIT
61,472 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
io.veezee
ai.trendsmcp
com.apify.mcp
"comparison-of-python-based-tools-for-converting-te-x-to-lean" matching MCP servers:
- Alicense-qualityDmaintenanceEnables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.Last updated1MIT
- AlicenseAqualityBmaintenanceMCP server that converts URLs into token-minimized clean text for LLMs, providing a receipt of token and cost savings.Last updated166MIT
- 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
- AlicenseAqualityAmaintenanceEmbedded, local-first agent memory: facts extracted into a per-namespace SQLite file (vec0 + FTS5) with hybrid retrieval and point-in-time (time-travel) queries. ADD-only history over stdio — no server process, no cloud dependency.Last updated16347Apache 2.0
- AlicenseAqualityCmaintenanceEnables Large Language Models to access and manipulate Autodesk Revit models through a pyRevit-based bridge and the Model Context Protocol.Last updated20147MIT
- FlicenseDqualityDmaintenanceA lightweight toolkit that enables Claude to search Twitter with natural language queries and display results based on user intent, supporting features like tweet filtering, pagination, and flexible output formatting.Last updated121
- Alicense-qualityCmaintenanceConverts X (Twitter) posts into JSON, PDF, PNG, Markdown, or Slack/Discord messages using public endpoints, no API key or login required.Last updatedMIT
- Alicense-qualityCmaintenanceA lean, agent-first MCP server for JIRA Cloud that exposes 10 intent-shaped tools for searching, creating, updating issues, and more, with human-friendly references and recovery hints.Last updated2781MIT
- 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-qualityDmaintenanceMCP proxy server for ThinkingEngine with automatic browser-based authentication. Automates the login → token extraction → proxy flow so you never need to manually copy tokens.Last updated4MIT
- AlicenseAqualityCmaintenanceProvides MCP tools to search, retrieve, and answer questions from the public Open Finance Brasil Confluence documentation using BM25-based local indexing.Last updated4MIT
- AlicenseAqualityAmaintenanceMulti-account X (Twitter) automation that drives a real Chrome session with your own cookies, so no X API key is needed. 32 tools for posting, replies, search, engagement, and media, with draft approval on by default.Last updated33148MIT
- FlicenseAqualityFmaintenanceAn MCP server that provides AI agents with full access to the X (Twitter) API for posting, searching, and managing engagement through natural language. It supports comprehensive tools for tweet management, media uploads, and account analytics across multiple MCP-compatible clients.Last updated1550
- 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
- Alicense-qualityDmaintenanceCompare Uber and Lyft prices for any route, get supported cities, and retrieve booking links using Claude Desktop.Last updated2MIT
- Alicense-qualityAmaintenanceLLM Compliance Comparison - MCP server providing AI-powered tools and automation by MEOK AI LabsLast updated4MIT
- Alicense-qualityBmaintenanceMCP server that allows posting, deleting, and reading X (Twitter) tweets using your own browser session cookie, bypassing the official paid API. Includes tools for auth setup, tweet creation, deletion, timeline reading, and regex search.Last updatedMIT
- Alicense-qualityDmaintenanceEnables posting tweets to X (Twitter) via the X API v2, using Claude.Last updated7MIT
- Alicense-qualityAmaintenanceDocument Comparison AI - MCP server providing AI-powered tools and automation by MEOK AI LabsLast updated0MIT