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

Provides AI-enhanced code search capabilities by integrating with Sourcegraph, allowing AI assistants to search across multiple repositories and codebases with advanced query syntax.

Sourcegraph React Prop MCP

Local MCP Server that searches for React prop usage via Sourcegraph API

Sourcegraph React Prop MCP (E Kuerschner)

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

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

sova (The0wl Guy)

TypeScript framework for building MCP servers

9 tools, Lightning-gated. Pay per call. For agents that need verifiable signed actions with an audit trail. Nostr event signing via daemon Publish events to relays Create Lightning invoices Action receipts — signed proof of agent actions Identity attestation

A transparent proxy and execution firewall that intercepts and audits AI agent tool calls against configurable security policies before forwarding them to downstream MCP servers. It provides safe execution environments with features like data redaction, anti-loop protection, and unified alert dispatching.

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

安装状态

已补齐

An MCP server for managing and executing AI agents on the Spaceship AI platform directly from clients like Claude Code and Cursor. It provides comprehensive tools for agent lifecycle management, including creation, execution, and real-time monitoring of run statuses and logs.

Provides access to live SpaceX data including latest launches, upcoming launches, and company information through the SpaceX API.

Spain immigration, residency, NIE/TIE, and tax MCP for agents from Legal Fournier, https://legalfournier.com/.

安装状态

已补齐

spain-legal---spain-immigration-and-tax-screening-for-agents

Spain Legal MCP is legalfournier.com remote MCP server for AI agents handling Spain immigration and related tax screening. It helps screen visa and residence routes, check likely Beckham regime eligibility, explain NIE/TIE workflows, compare tax regimes conceptually, and map residency or nationality paths. Outputs include official-source references, current-verification flags for volatile points, review levels, and a structured handoff when a matter moves into lawyer-review territory.\\r\\n\\r\\nhttps://legalfournier.com/en/mcp/spain-legal/

A Model Context Protocol server that converts Solidity bytecode into functional server implementations, allowing interaction with blockchain contracts through a RESTful API.

A demonstration MCP server for local development and testing with Claude Desktop on WSL. Provides basic utility tools including greeting messages, echo functionality, and server information retrieval.

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

Enables AI-guided spec-driven development workflow that transforms ideas into implementation through structured stages: goal collection, requirements gathering in EARS format, technical design documentation, task planning, and systematic code execution.

An MCP server that enables AI-powered IDEs to implement a structured development workflow from requirements gathering to code implementation, guiding users through goal collection, requirements specification, design documentation, task planning, and execution.

A CLI tool that runs a Model Context Protocol server over stdio, enabling interaction with specification documents like business requirements, product requirements, and user stories for the Specif-ai platform.

A CLI tool that runs an MCP server over stdio for Specif-ai, enabling interaction with specification documents like BRDs, PRDs, and user stories through a set of structured tools.

An MCP server for Spec-Driven Development that transforms natural language ideas and meeting transcripts into structured, production-grade specifications using EARS notation. It automates a 7-phase pipeline to generate project artifacts like requirements, architecture designs, and task lists directly to disk.