"CRM" matching MCP servers:

MCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.

Enables AI assistants to read, extend, and validate LabVIEW CSM state-machine VIs, inspecting case branches and exposed APIs, generating modules from official templates, and injecting new states with automatic shift-register and error-cluster tunnel wiring. Also formats complex CSM message arguments, mounts VIs into .lvproj trees, and audits projects for deadlocks, orphan states, and missing documentation.

Enables AI agents to debug Commodore software in a locally running VICE emulator through its text remote monitor, inspecting registers, memory and screens, disassembling code, setting breakpoints and watchpoints, controlling execution, and working with disk images, snapshots and exported graphics. Runs locally over stdio and includes safety guidance for state-changing operations.

Helps AI assistants optimize Linux workloads on Arm64 by parsing perf report output, recommending NEON SIMD intrinsics for hot loops, and auditing Python dependency manifests for arm64 wheel availability — all offline and structured.

A self-hosted MCP server that fetches live documentation and performs code audits using real-time authoritative references to prevent AI hallucinations. It provides tools for searching documentation across 330+ libraries and scanning local source code for security, performance, and accessibility issues.

Knowledge graph for token-efficient code reviews. Builds a structural map of your codebase with Tree-sitter, tracks changes incrementally, and gives AI agents precise context via MCP tools. Features fixed multi-word search, qualified call resolution, dual-mode embedding (ONNX local + LiteLLM cloud), and output pagination.

Static-analysis MCP server for Django models. 5 read-only tools for AI coding agents.

Enables MCP-compatible agents to perform read-only inspection of OpenPLC Editor projects, including retrieving project structure and listing programs, function blocks, and functions.

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

Provides AI assistants with tools for Arm architecture development, migration, and optimization, including knowledge base search, code migration analysis, container inspection, assembly performance analysis, and workload performance testing.

Provides AI coding agents with pre-edit situational awareness by combining structural call graphs and co-change history to prevent incomplete edits. It surfaces files that historically change together, reducing missed coupled modules.

Enables remote MCP clients to list indexed projects, search and traverse a code graph, and trigger indexing over an authenticated Streamable HTTP endpoint on a private tailnet, while destructive tools are hard-refused and every call is audited.

CodeGuard MCP is a real-time AI code security scanning tool used to detect vulnerabilities, keys, and compliance issues in AI-generated code, and is suitable for code security reviews in development environments

Enables coding agents to persist evidence-backed codebase understanding, reuse it while its support remains current, and receive CURRENT, STALE, or UNVERIFIABLE status so they can narrowly re-check changed scopes.

Enables AI agents to verify that test suites catch real bugs by planting deliberate bugs, running the tests, and reporting any survivors as untested behavior.

Autonomous code quality review and verification framework enforcing ISO/IEC 25010 and OWASP ASVS standards for AI-assisted engineering.

A collection of MCP servers providing structured tools for ARM specification, verification, assembly analysis, and performance checks. They enable LLM agents and engineers to perform formal verification, analyze assembly code, and evaluate performance constraints.