MCP servers that give coding agents real developer tooling: linters, package registries, test runners, language docs and local build commands. 13,971 servers in this category.
Enables AI clients to analyze behavioral analytics, discover user frustrations, and review session data through natural language queries.
Provides an AI agent toolkit for 1C:Enterprise 8.3 development, enabling byte-perfect metadata editing and real-code context searching.
Provides persistent memory and a code graph for AI coding agents to track decisions, requirements, and system topology.
A local-first autonomous coding agent that plans, executes, and validates software tasks through file operations, shell commands, and MCP tools.
Enables AI clients to generate, edit, and review Mitsubishi PLC programs in Ladder, Structured Text, and FBD formats using GX Works2.
Provides a governed, provenance-scoped shared memory layer that allows AI coding agents to share decisions and patterns across sessions and repositories.
Performs static and live security scanning for MCP servers to identify permission issues, injection risks, and attack chains.
Provides over 100 runnable Python agent samples for the Google Agent Development Kit, covering multi-agent workflows, MCP, RAG, and deployment.
Gives AI coding agents pushed role, contract, and evidence guidance, and lets them query backlog, graph, and review state via MCP.
A curated catalog of Model Context Protocol servers providing access to Swedish data, laws, and public services.
Enables AI agents to inspect Blender scenes, perform reversible edits, and execute Python scripts through a safety-aware local bridge.
Enables AI agents to parse Rockwell/Allen-Bradley L5X project exports to access PLC tags, UDTs, routines, and programs.
Discovers AI agents on a host, proves their tool-use policies with Z3 and TLA+, and enforces those policies outside the model on every tool call.
Provides security, observability, and governance for AI agents by auditing tool calls and enforcing allow/block policies locally.
Provides AI assistants with up-to-date documentation and API references for the Vue.js ecosystem, including Nuxt, Pinia, and Vite.
Provides a cross-project knowledge graph and immutable audit log to help coding agents manage projects and coordinate tasks.
A zero-trust verification gateway that uses SMT solvers and formal proofs to validate AI-generated code and prevent hallucinations or cheating.
An agentic development platform that synchronizes project configurations and executes automated workflows using Claude Code and git worktrees.
Provides a hands-on curriculum with over 100 runnable Python labs to master LangChain, RAG, agents, and the Model Context Protocol.
Provides a lab protocol for coding agents to execute, measure, and validate research hypotheses in isolated worktrees.
