Find your next MCP server
Find remote and local MCP servers by task, transport, capability, access, and publisher, with clear verification labels.
15,960 MCP servers
Vendor-operated and community listings, with live-check and source-verification states shown independently.
| Server | Type | Category | Access | Setup |
|---|---|---|---|---|
leafengines MCPAn agricultural AI server providing soil analysis, crop recommendations, weather forecasts, and carbon credit calculations using USDA, EPA, and NOAA data. | CommunityPackage | AI and machine learning | Source reviewed | |
Leafwright MCPAn official MCP server provided by Leafwright that enables AI agents like Claude, Cursor, and Codex to render HTML, URLs, and templates to PDF. | VendorPackage | Developer tools | Source reviewed | |
LeakFerret MCPAn MCP-native secret scanner that allows AI agents to scan repositories for API keys and secrets, classify candidates, verify live keys via provider calls, and rewrite hardcoded… | CommunityPackage | Developer tools | Source reviewed | |
leakguard-mcpA local stdio MCP server that performs static analysis on Python code to detect lookahead bias and data leakage in time-series machine learning and trading code. | CommunityPackage | AI and machine learning | Source reviewed | |
LeakRank Guard MCPLeakRank Guard is an MCP server that integrates directly into AI coding agents like Claude Code, Cursor, Codex, and Windsurf. | CommunityPackage | Developer tools | Source reviewed | |
Lean 4 MCPA community MCP server providing 20 real tools to read, check, lint, scaffold, build and run Lean 4 code. | CommunityPackage | Developer tools | Source reviewed | |
Leanfare MCPLeanfare is a community tool that integrates with AI applications to reduce costs by offloading simple tasks like reading files and drafting to cheaper or free models. | CommunityPackage | Developer tools | Source reviewed | |
Leanfare MCPLeanfare is a local AI cost-optimization tool that integrates with existing AI applications like Claude Desktop, Cursor, and VS Code. | CommunityPackage | AI and machine learning | Source reviewed | |
LeanForge MCPAn MCP server for AI-driven formal proof search in Lean 4. | CommunityPackage | Developer tools | Source reviewed | |
lean-memory MCPAn embedded, local-first agent memory system that stores facts in per-namespace SQLite files. | CommunityPackage | Developer tools | Source reviewed | |
Lean Reader MCPLean Reader is an MCP server and library that converts URLs into clean, token-minimized text suitable for LLMs. | CommunityPackage | Developer tools | Source reviewed | |
LeanWarp MCPLeanWarp is a hosted Lean 4 API for proof agents that checks and verifies Lean 4 proofs with Mathlib already loaded. | CommunityPackage | Developer tools | Source reviewed |
Browse by category
Let your agent find its tools
Add Koskamo to your agent to find official MCP servers for a task, inspect access requirements, and get setup links. Public discovery needs no key.
How listings and verification work
Remote listings are live-checked and re-checked weekly. Local packages are validated from their attributed registry or catalog source and are never executed by Koskamo. Community and vendor evidence are labelled separately.
Access labels describe remote connection and discovery. Individual tools may require accounts, credentials, permissions, or payment. Registry membership and endpoint checks are not security audits.
List your own server