Explore server capabilities, recorded tools, available client configurations and practical setup considerations. Browse servers by category, or jump to remote servers and official vendor servers.
Servers can appear in several categories when their tools support several tasks. Category counts include these overlaps; the directory total counts each server once.
984 servers
2205 servers
8565 servers
1403 servers
598 servers
2659 servers
1883 servers
1983 servers
1735 servers
2501 servers
1236 servers
1603 servers
327 servers
965 servers
67 servers
74 servers
937 servers
124 servers
310 servers
1303 servers
561 servers
1525 servers
317 servers
392 servers
908 servers
107 servers
243 servers
391 servers
205 servers
1068 servers
626 servers
1194 servers
825 servers
712 servers
322 servers
383 servers
242 servers
400 servers
172 servers
155 servers
259 servers
238 servers
577 servers
560 servers
127 servers
832 servers
112 servers
123 servers
676 servers
456 servers
966 servers
253 servers
93 servers
358 servers
329 servers
315 servers
254 servers
781 servers
160 servers
233 servers
51 servers
400 servers
247 servers
286 servers
199 servers
182 servers
172 servers
308 servers
381 servers
184 servers
45 servers
216 servers
154 servers
269 servers
48 servers
30 servers
21 servers
27 servers
33 servers
133 servers
46 servers
17 servers
43 servers
95 servers
60 servers
20690 servers
Live prices and quotes for fresh, filtered phone leads in any country, plus a free 200-number sample
B2B leads: scored buying signals from HN/Bluesky/GitHub with AI dossiers and outreach drafts.
Extrae negocios locales de Google Maps en Brasil con teléfono, email, sitio web y CNPJ.
Qualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts.
Find SMBs by name, city, and business type in the Lead Stampede directory via public MCP tools.
Danish company data (CVR) and annual-report financials for B2B lead research. Read-only.
AI assistant integration for Leaf — track books, log reading sessions, and manage your library.
AI support chat for Japanese-language sites. Analyze chats, review unanswered questions, edit docs.
🌱 TurboQuant-Powered Environmental Intelligence - Soil analysis, crop recommendations, weather forecasts, and environmental impact assessment for sustainable agriculture. The only patent-protected…
Personalised book recommendations, filtered to what's on your public library's shelf right now.
PDF/Word/Excel/HTML to clean Markdown for LLMs and RAG. Keys $19/mo; 50 free calls a day.
Render HTML, URLs, and templates to PDF. AI drafts templates and fixes them from logs.
Free fantasy sports AI: ESPN, Sleeper and Fantrax league data for Claude and ChatGPT. Read-only.
Round-robin fixtures, standings and match-day plans for league organizers. Free.
⚔️ AI-powered League of Legends mock match simulator and summoner comparison tool
Leagues to kilometers, number discarded
Check breach exposure for your verified email and check locally computed password hash prefixes.
Context-aware secret scanner: lets an AI agent scan, verify, and rewrite secrets before committing.
Static analyzer flagging lookahead bias & data leakage in ML/trading code before backtest.
Detects OTA reconciliation exceptions and stages recovery actions until recovered revenue is posted.
Scans code changes for leaked secrets and insecure config, with actionable fixes for AI agents.
Anonymous, encrypted disclosure of AI alignment and safety failures, with signed receipts.
Search VeChain documentation, query on-chain data, and fetch fee suggestions with direct links to…
MCP server for AI-driven formal proof search in Lean 4
This is a Model Context Protocol (MCP) server that connects Claude directly to the GitHub API. Once installed, you can manage your entire GitHub workflow through natural conversation — no GUI, no…
<strong>Local-first code knowledge graph for AI coding agents</strong>
1. Install uv, a Python package manager. 2. Make sure your Lean project builds quickly by running lake build manually. 3. Configure your IDE/Setup 4. (Optional, highly recommended) Install ripgrep…
MCP server that allows agentic interaction with the [Lean theorem prover](https://lean-lang.org/) via the [Language Server
Embedded, local-first agent memory: one SQLite file per namespace, no server, no cloud.
Token-minimized URL-to-clean-text reader for LLMs, with a token-savings receipt.
Creative-intelligence MCP for campaign strategy, ad builds, QA, and reporting.
GTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews.
A Model Context Protocol (MCP) proxy bridge for Leantime project management system
Unofficial MCP server for Leantime: 42 agent-first tools, backup/restore, dry-run validation
Token-bounded repository context for coding agents over MCP.
OAuth LeanTrading tools for eligible Pro, Elite, Blueprint, and Admin users.
Multi-session browser MCP for AI agents — 36 tools, stealth, persistent auth, code-first scripts, API sniffer, agent intelligence
This project is a demo implementation of a Model Context Protocol (MCP) server that provides weather-related tools. The server exposes two tools:
MCP server for learnhouse documentation, generated by doc2mcp.
MCP server for generating Learning Hour content and Miro boards for Technical Coaches
MCP server for student learning workflow with SQLite database. Each instance serves one student — deploy a separate instance per child for isolated
This repository contains multiple MCP (Model Context Protocol) server implementations for learning and experimentation.
MCP server that can perform basic arithmetic operations and parse/evaluate arithmetic expressions.
An open-source MCP (Model Context Protocol) server that enables AI agents to record and retrieve learning activities through xAPI-compliant Learning
Implement the Model Context Protocol (MCP) by building AI tools with a modular framework for creating MCP-compatible servers and clients.
This comprehensive learning resource provides two complete tutorials for mastering Model Context Protocol (MCP) development with Rust. From
An MCP server with MongoDB integration
Remote MCP learning coach for coding agents.
Read, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution.
Your AI agent builds interactive block-based courses over MCP; take them at learnwithagents.app.
Check LearnWorlds courses, learners, progress, grades and payments, and enroll or tag users.
All 94 LearnWorlds LMS API endpoints as safety-categorized MCP tools (read/write/destructive).
Estimate early lease termination costs, compare options and draft notice letters. Free.
MCP server for LeaseClear lease Q&A.
Excel-verified lease finance math for AI agents: equipment, solvers, schedules.
Swedish private car leasing deals: search, compare prices, price history, brands, fees.
Employee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries.
Employee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries.
WH-347 certified payroll columns 5-9, fringe 6B reconciliation and PTO accrual balances.
Search and read Lebanese laws, articles, court rulings and the Official Gazette, verbatim.