"Bitcoin SV" matching MCP servers:

Provides tools and prompts for Bitcoin SV development, enabling code search, BRC lookup, and function definition search within locally cloned BSV repositories.

Give your AI agent PDF summarization, code review, translation, web extraction, document comparison, and persistent memory — all paid autonomously via Bitcoin Lightning.

Exposes Nullsec security tooling for scanning and explaining ZK circuits (Circom/Halo2) to MCP-compatible AI agents.

Provides LLMs and AI agents safe, structured, read-only access to verification artifacts for deterministic triage and root-cause analysis. Supports UVM, cocotb, and SystemVerilog verification ecosystems.

Enables AI agents to query Salesforce DX projects through MCP with compressed component specs, full-text search, dependency relations, annotations, and an interactive architecture map, drastically reducing token usage.

AI reads your codebase like a book - one page at a time. Pharaoh gives it the index and a map of how every chapter connects.

Enables scanning Java (Maven) projects for known vulnerabilities via natural language, returning severity-sorted reports with CVSS scores and fix versions.

Token-safe code search for AI agents: queries the language-server index (clangd / Roslyn / tsserver / pyright) instead of grep and returns a token-capped file:line list — ~20x fewer tokens. Symbol-level editing + a grep→index rewrite hook. Local-only, no IDE.

Automatically enhances developer prompts with quality requirements, codebase context, and architectural patterns, then orchestrates other MCP servers to ensure AI coding assistants produce high-quality, structured code that follows best practices and security standards.

Professional Gemini API integration for Claude and MCP-compatible hosts with intelligent model selection and advanced file handling capabilities.

Assist LLM writing Waterloo Docstrings, a format with emphasis on machine-verifyable normativity.

Architecture-index MCP tools for kernelee apps that combine static analysis and runtime wiring into a JSON index, enabling coding agents to query control flow and dependencies via the Model Context Protocol.

Enables a side-panel companion that watches your coding session and provides context-aware answers about your codebase and session state through a small, token-cheap MCP interface.

MCP server for Project Zomboid mod development, offering tools to search the game's Java API, access vanilla game files, and scaffold/validate mod projects.

Provides offline semantic validation for TcGen Structured Text (ST) review bundles by normalizing ST code, generating STruC++ tests from JSON specs, and executing them via the strucpp CLI.

Integrates AI editors with Semantic Voxel Protocol projects, enabling project status queries, AI-driven compilation across levels, and block management through MCP tools and resources.

Pattern-intelligence MCP server for ServiceNow Discovery that enables AI agents to read, search, validate, author, surgically edit, and reason about Discovery patterns, including NDL grammar, SNMP OIDs, data sources, and emulator blueprints.

MCP server that equips AI agents with BSV-specific development tools including static analysis, pitfall prediction, and BSC error diagnosis to produce correct Bluespec code with fewer compile failures.

Enables AI assistants to interact with VS Code for language intelligence, debugging, and code execution.

Enables evidence-first binary and firmware analysis through MCP, exposing tools to initialize projects, analyze artifacts, query structured claims, export results, and run evaluations.