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

Replay-verified minimal JSON reproductions and deterministic TypeScript/OpenAPI drift checks. Local-first CLI and MCP server.

Enables safe read-only interaction with SQL Server and Azure SQL databases, providing schema exploration, query linting and analysis, query plan insights, write previews as SELECTs, and a versioned library of .sql queries via MCP.

Enables LLM agents to typecheck Narya files and develop proofs interactively by loading files into live sessions, inspecting and solving holes, searching for lemmas, and replaying edits.

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.

Enables MCP clients to inspect and work with Power Apps solutions, canvas app source, Dataverse metadata, and FetchXML via the Power Platform CLI, with read-only defaults and gated, dry-run imports.

Enables AI assistants to inspect, refactor, lint, run, and version Power Query (M) queries in Excel workbooks and Power BI projects, with snapshot safety and live evaluation.

Enables searching code, packages, repositories, vulnerability data, documentation, Q&A communities, and academic papers through 17 tools. Supports per-package source navigation across npm/PyPI/crates and per-repo code intelligence for GitHub URLs, with embedding dedup and local reranking.

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

Enables MCP-compatible agents to submit source code for automated SAST/SCA security audits paid via x402 USDC micropayments on Base, returning structured vulnerability findings, CWE IDs, and optional remediated code patches.

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.