MCP server that orchestrates language servers into agent-native workflows. 65 tools, 30 CI-verified languages.
Runtime evidence that helps agents trace, profile, and burn down hotspots in application and native code, GPU kernels, and inference stacks.
eBPF-powered network observability for Kubernetes. Indexes L4/L7 traffic with full K8s context, decrypts TLS without keys. Queryable by AI agents via MCP and humans via dashboard.
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
An experimental MCP Server for foundry built for Solidity devs
Cross-language-safe code-intelligence MCP for AI agents -- 13 languages, family-gated call graph (CodeGraph 745 vs TSA 6 cross-language mis-wires, v1.21.0 same-session -- ~124x by count, ~390x by rate; re-verifying vs current develop). Run miswire-audit on your repo. 8 facade tools, TOON output, 100% local. Python.
Chiasmus is an MCP server that gives language models access to formal verification
Evidence-grounded repository audit CLI - deterministic scanner, MCP server, live dashboard, and a GitHub Action that posts PR diffs.
Automated quality checks that nudge AI coding agents toward better habits
Security testing that runs inside the coding agent you already use. Source-available, not open source.

This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities
Pragmatic AI Labs MCP Agent Toolkit - An MCP Server designed to make code with agents more deterministic
AI plugin to enhance and accelerate Flutter & Dart development, built by Very Good Ventures
Real-time architectural sensor that helps AI agents close the feedback loop, enabling recursive self-improvement of code quality. Pure Rust.
Agent Skill for code and test smell audits. Evidence-ranked findings from Refactoring, Clean Code, and the test-smell literature. Formerly pragmatic-code-review.
MCP server giving LLMs the ability to design, simulate, and analyze SPICE circuits via LTSpice and NGspice
A Model Context Protocol (MCP) server that provides file system context to Large Language Models (LLMs). This server enables LLMs to read, search, and analyze code files with advanced caching and real-time file watching capabilities.
Local-first MCP security scanner for AI-generated apps. Scan → fix → rescan from Claude Code, Cursor, Codex, and other agents.
Apple HIG reference and cross-framework UI audit tooling for agents.

MCP server for AI agents to analyze Excel spreadsheets through atomic operations. Like SQL for Excel. Fast, accurate, and efficient. No context overflow.
Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.
Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-repo workflows.
Claude Code plugin & Agent Skills for AI-native development: codebase readiness scoring (/assess), Six Thinking Hats deliberation (/huddle), AI-slop removal (/deslop), skill hardening (/skill-forge), and more.