Token导航 LogoToken导航

MCP 工具与服务目录

找到适合你的 MCP Server,快速完成接入

按功能、传输方式和来源整理 MCP Server,提供安装命令、配置方式、仓库与文档入口,方便你快速比较并接入合适的服务。

正式条目

87,640

可复制安装

36,828

最近生成

2026-05-22

AI代理未说明

Provides access to Leadpipe's intent and data APIs for topic discovery, audience management, and visitor data lookup. It enables agents to automate lead generation workflows, analyze website topics, and manage tracking pixels through natural language.

AI代理未说明

Sales Intelligence · B2B Lead Extraction An MCP (Model Context Protocol) server that gives AI agents structured B2B lead intelligence extracted directly from company websites. Point it at any URL and get back a clean JSON object — company summary, buying signals, inferred needs, and personalised icebreaker lines — ready to drop into your outreach pipeline. Built for agent pipelines. Works with Cl

开发工具未说明

A quiz distribution and grading server for educators. Create exams, generate student links + QR codes, grade submissions, and track student performance — all from Claude.

开发工具未说明

Enterprise-grade MCP (Model Context Protocol) server for detecting secrets and sensitive information in GitHub repositories. Scans for 35+ types of secrets including API keys, passwords, tokens, and credentials with production-ready reliability features.

开发工具未说明

Enables read-only access to LeanIX Multi-Tenant Management (MTM) API data through 29 tools. Supports querying accounts, workspaces, users, permissions, contracts, instances, events, technical users, domains, identity providers, custom features, and labels with filtering and pagination.

AI代理未说明

Enables 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.

开发工具未说明

A minimal MCP server framework that enables zero-config tool discovery and streamable HTTP transport using the LeanMCP SDK. It allows developers to build type-safe services with automatic schema validation and integrated React UI components.

AI代理未说明

Enables integration with Leantime project management software, allowing users to manage projects, tickets/tasks, time tracking, sprints, and goals through MCP-compatible tools and n8n workflows.

开发工具未说明

Multi-session browser MCP server that gives AI agents up to 15 fully-isolated browsers running in parallel. 36 tools including navigation, extraction, network intercept, stealth, and self-improvement. Each session has its own cookies, storage, and fingerprint so agents never collide.

文档知识未说明

全面解析Learning With ClaudeMCP Server的核心功能、安装配置和实用案例。作为顶级Model Context Protocol服务器,Learning With Claude能让AI助手访问实时数据、执行操作,为您提供更智能的工作体验和自动化解决方案。

开发工具未说明

A hands-on demonstration project that teaches the Model Context Protocol (MCP) through Python code, allowing users to understand how AI models interact with their context through a provider-agent architecture.

开发工具未说明

A Model Context Protocol (MCP) server that demonstrates mathematical capabilities through a LangChain integration, allowing clients to perform math operations via the MCP protocol.

开发工具未说明

Extracts and summarizes learning content from YouTube videos, PDFs, and web articles to provide context for project-based learning. It features automated background processing and integrates with Forest's HTA builder for informed task generation.

搜索检索未说明

An open-source MCP (Model Context Protocol) server that enables AI agents to record and retrieve learning activities through xAPI-compliant Learning Record Stores