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

A single MCP server that bridges to any LSP, enabling code intelligence features like hover, go-to-definition, references, and diagnostics for multiple languages via configurable language servers.

Enables local semantic code search across repositories using natural language, with AST-aware chunking and hybrid vector/FTS5 retrieval.

A local, read-only MCP server that analyzes Python backend projects by providing tools to scan, map, and selectively read files, reducing token usage for AI clients.

A local-first MCP server that gives AI coding agents runtime visibility and AI-managed debug logging. It replaces blind print() debugging by turning runtime execution into causal chains, allowing agents to instantly locate bugs by finding missing .success events in Python and TypeScript code. Single binary with MCP, CLI, and HTTP interfaces.

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.

Provides bounded, read-only analysis of local project directories, enabling inventory, marker detection, and safe file reads without executing code.

MCP server that gives coding agents right-to-left awareness with tools to lint RTL code, normalize Arabic text, and detect text direction.

Integrates Checkov, Semgrep, Bandit, and ASH to provide comprehensive code security analysis for AI coding assistants.

Scans codebases for AI frameworks, checks EU AI Act compliance, and generates compliance reports, roadmaps, and audit-ready packages.

MCP server for reviewing Phabricator revisions. It fetches revision context and creates draft inline comments via Conduit API.

Enables LLMs to develop, debug, test, and manage SAP ABAP objects on a live system through the ABAP Development Tools (ADT) protocol.

MCP Blast-Radius Auditor — statically extract what an MCP server can touch and detect declaration divergences against manifest.json. Stdio MCP (mcp-blast-radius) plus CI gate (mcp-blast-radius-gate). pip install mcp-blast-radius==0.2.0

Provides guidance and tools for the AWS Cloud Development Kit, including infrastructure patterns, GenAI constructs, and security compliance via CDK Nag. It streamlines development by generating Bedrock Agent schemas and providing comprehensive documentation for Lambda layers and AWS Solutions Constructs.

MCP server enabling AI models to interact with Codescan's API for listing projects, retrieving metrics, and querying issues with advanced filtering.

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.

A validation layer for AI coding assistants that enforces explicit LLM evaluations on plans, code diffs, and tests to ensure safer and higher-quality code.

DORA compliance scanner MCP server that scans projects for regulatory gaps, classifies entities, generates reports, and optionally produces ICT registers and incident templates with cryptographic certification.

Enterprise-grade MCP server for SAP ABAP development, enabling AI-powered coding assistance through Amazon Q Developer and Kiro with 15 SAP development tools.

Enables AI assistants to leverage VS Code's language intelligence for code navigation, refactoring, and analysis via the MCP protocol.