"Server Fault" matching MCP servers:

Provides read-only, stdio-based MCP tools for inspecting locally captured C/C++ fault artifacts, grouping processes and sessions, querying the evidence store, and resolving explicitly supported RPC/IPC relationships. Access is restricted to a configured artifact root, with observed, static-candidate, and unresolved evidence kept strictly separate.

An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.

Enables read-only access to the canonical-vault GitHub repository through MCP, letting clients list files, retrieve file contents and history, inspect commits, and search code.