A
licenseA
qualityB
maintenanceMCP server that converts URLs into token-minimized clean text for LLMs, providing a receipt of token and cost savings.
Last updated
1
66
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
- 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
- AlicenseAqualityCmaintenanceProvides MCP tools to search, retrieve, and answer questions from the public Open Finance Brasil Confluence documentation using BM25-based local indexing.Last updated4MIT
- 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
- 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
- AlicenseAqualityAmaintenanceA Model Context Protocol server that brings the capabilities of enigmapython library to LLMs, allowing them to encrypt and decrypt messages using historically accurate Enigma machine emulatorsLast updated15MIT
- 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
- FlicenseAqualityCmaintenanceAn MCP server adapter that allows LLM agents to autonomously play World of ClaudeCraft by wrapping the game's headless environment as MCP tools for state reading and action execution.Last updated7
- AlicenseAqualityDmaintenanceAn MCP server that provides a persistent sandbox for AI coding agents to explore codebases server-side, returning only compact summaries to reduce context consumption.Last updated38MIT
- AlicenseAqualityCmaintenanceStructured reasoning MCP server that decomposes problems into atomic steps (premise, reasoning, hypothesis, verification, conclusion) with confidence scoring, live visualization, and approval feedback.Last updated358MIT
- AlicenseAqualityBmaintenancePaybond Kit for Python is the PyPI package for tenant-bound Paybond integrations and delegated agent spend controls. It opens hosted Gateway sessions, verifies capability tokens, authorizes tool-call spend, signs intent and evidence payloads, uses Stripe Connect, Stripe ACH Direct Debit, or x402 / USDC-on-Base settlement rails, reads tenant-scoped Signal, fraud, ledger, protocol, and A2A data, andLast updated311Apache 2.0
- AlicenseAqualityBmaintenanceEnables AI assistants to search YouTube, fetch transcripts, and get AI summaries of videos without API keys.Last updated37MIT
- FlicenseAqualityDmaintenanceEnables LLMs to interact with Python environments, execute code, manage files, and handle packages through the Model Context Protocol.Last updated9
- AlicenseAqualityDmaintenanceA Python-based MCP server that enables users to interact with the esa.io API for documentation management. It provides tools for retrieving user information and performing full CRUD operations on articles.Last updated61MIT
- AlicenseAqualityCmaintenanceAn MCP server that exposes the python-bitcoinlib API. It provides tools for Bitcoin key management, address generation, transaction building, script operations, and cryptography.Last updated20MIT