"OpenTimestamps - Bitcoin-based timestamping protocol" matching MCP servers:

An intelligent MCP server that acts as an AI tech lead for coding agents, providing expert validation, impact analysis, and strategic guidance before code changes are made.

A Python-based server for managing and analyzing code context for AI-assisted development. Provides real-time code analysis, project structure analysis, dependency tracking, and secure API endpoints.

A Model Context Protocol server that provides Angular project analysis and refactoring capabilities, enabling LLMs to analyze component usage patterns, dependency structures, and perform safe refactoring with breaking change detection.

An MCP server that performs code reviews by comparing local source code against design documents stored in Confluence. It integrates with Atlassian MCP servers to analyze documentation and provide suggestions for quality improvement based on design specifications.

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.

Provides comprehensive codebase analysis and semantic understanding through integrated knowledge graphs, enabling AI assistants to understand project structure, patterns, dependencies, and context through multiple analysis tools and format generators.

Enables AI assistants to generate and statically verify IEC 61131-3 Structured Text logic, mutate .csp/.cpj OLE2 project containers, trigger in-GUI Error Check compilation, manage HMI screens, and run deterministic OCS scan-cycle simulations and Modbus telemetry scaling against Cscape 10.2. All physical hardware and firmware-download paths are intercepted fail-closed, so commissioning must be performed manually by authorized field personnel.

Enables AI coding agents to navigate and understand entire codebases through symbol-aware semantic retrieval and relational call graph traversal, supporting structural impact analysis and code modification workflows over MCP.

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

A code review tool server based on Model Context Protocol (MCP) providing multi-dimensional code review and scoring.

Combines semantic search with AST-based code exploration for AI agents, enabling natural language code search, file structure browsing, symbol inspection, and dependency analysis through the Model Context Protocol.

A code review tool server based on Model Context Protocol (MCP), providing multi-dimensional code review and scoring functions.

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

Enables AI coding tools like Cursor to access Figma design data through the Model Context Protocol, allowing accurate implementation of designs across frameworks. Based on NCDS (NHN Commerce Design System) with enhanced source generation capabilities.

MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.

Provides Roslyn-based code intelligence for AI coding agents via MCP, enabling efficient navigation and surgical edits of C# solutions.

Enables AI agents to access VS Code's LSP-based code navigation and native debugging tools (definitions, references, outline, breakpoints, stepping, stack frames, variables, and evaluate) via the MCP protocol.

Bridges the Model Context Protocol with Language Server Protocol to provide AI agents with persistent access to code intelligence features including navigation, diagnostics, refactoring, and completion across 7+ programming languages.

A production-grade FastAPI-based MCP server for career-oriented tools, currently exposing GitHub integration (profile, repos, pinned, search, rate limits) to LLM clients via the Model Context Protocol.

Token-efficient MCP server for Ghidra-based reverse engineering. Analyze ELF, Mach-O, and PE binaries with Swift, Objective-C, and Hermes support.