"How to check a terminal" matching MCP servers:

Enables AI coding agents to list, read, create, update, delete, and render PlantUML and Mermaid diagrams, and check them against the actual codebase to detect architecture drift.

Copy/paste (duplicate code) detection for codebases. The jscpd detector's built-in MCP server lets AI agents check snippets and files for duplication against a scanned project over stdio (jscpd --mcp).

coldstart gives coding agents durable memory of a specific codebase, with no embeddings, no vector store, and no API key. Agents write notes after real tasks — what a file is for, how a flow spans files, which invariants hold — and those notes are surfaced automatically to a later session whose task matches, so nothing gets rediscovered from scratch. Every note is anchored to real files by content

Provides brutally honest code reviews, explanations, and refactoring suggestions via CLI and MCP tools.

Call graph MCP server for Rust, Python, TypeScript, TSX, and JavaScript. Every caller and callee carries a resolution field showing how the reference was matched to a definition, plus multi-hop impact analysis for refactoring. Local-only, single binary, no network egress. Benchmarked against grep, ripgrep, and ctags on a 120-item hand-verified golden set, including the cases where it loses.

truth is a deterministic fact-checker for the claims an AI coding agent makes about its own work.

Offers a control surface for AI agent security with four independent checks: source-code scanning, tenant isolation, LLM content verification, and deploy gating. Currently in pre-release, with no functional scanning engines yet.

A local-first MCP server that scores your codebase's Build Readiness by reading code and running tests on your machine, outputting a diligence-grade score and risk register without uploading your source.

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.

MCP server for verification and API-existence oracle tools, enabling AI agents to check package existence, symbol details, and version diffs with signed attestations.

Enables MCP clients to inspect Minecraft Java Edition datapack files using the Spyglass language server, returning diagnostics for syntax, JSON schema, and references via MCP stdio.

Infers the architecture rules a TypeScript repo already follows from its import graph, with the evidence for each rule. Read-only tools to scan, recommend and explain rules, so an agent can check them before writing code.

Enables AI-assisted X++ development for Dynamics 365 Finance and Operations by pre-indexing the entire codebase and providing 54 specialized tools for metadata lookup, code generation, and best practice validation.

Assigns personality types to functions, rates variable name energy, and suggests aesthetic alternatives for code, providing an unscientific yet entertaining vibe assessment.

Enables AI coding agents and IDEs to lint, compile, syntax-check, and simulate Verilog/SystemVerilog designs through structured, token-efficient MCP tools with isolated containerized toolchains.

Provides a read-only interface to audit and continue coding agent sessions by extracting plans, intents, and edit authorship from history across multiple agents (Claude, Codex, OpenCode, Antigravity, Pi) via MCP, CLI, and Python SDK.

MCP server for the LPM package registry, enabling AI tools to search, browse source code, install packages, check quality, and more.

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

Verify-before-act safety tools for AI coding agents, providing MCP tools to check packages, lockfiles, manifests, and CI workflows for supply chain risks.

locidx