Standard coding agents waste 70% of context tokens re-reading raw files with shell grep. Synapse-MCP indexes your codebase into a sub-millisecond local AST graph—giving Claude Code, Cursor, and Windsurf exact caller trees, 60% lower token spend, and zero-hallucination refactoring.
2
14
1
MIT
Why this server?
Allows guarding of Terraform commands (e.g., terraform destroy) by blocking dangerous infrastructure operations until human approval.
A cooperative guardrail for AI agents that blocks destructive shell commands, SQL statements, or cloud operations until a human approves them out-of-band, with a tamper-evident local ledger.
4
AGPL 3.0
Why this server?
Deploys and manages Terraform infrastructure projects to LocalStack environments with automatic configuration detection and parameterized deployments
A Model Context Protocol (MCP) server for LocalStack that enables management of local AWS development environments, including container lifecycle operations, infrastructure deployments, log analysis with IAM policy generation, chaos injection, and Cloud Pods state management.
7
352
25
Apache 2.0
Why this server?
Analyzes Terraform infrastructure definitions for Symfony projects.
Enables AI assistants to perform read-only introspection of Symfony applications, exposing routes, controllers, services, entities, database schema, migrations, logs, and more via MCP tools.
10
5
599
MIT
Why this server?
Enables running Terraform commands with injected cloud credentials, enforcing policies and masking secrets.
Enables AI agents to make authenticated API calls and run commands with secrets injected, while keeping credentials completely hidden from the model, with policy enforcement, grants, and audit logging.
2
6
MIT
Why this server?
Analyzes Terraform configuration files for infrastructure and security issues within the codebase analysis.
Verum's MCP server turns any codebase into a deterministic, queryable fact layer — an agent can ask who calls a function, what a change impacts, where the dead code and duplicates are, which client calls hit which routes, and run a full security/quality audit. It returns byte-identical answers in a few hundred tokens instead of grepping and reading whole files.
4
13
MIT
Why this server?
Enables ingesting Terraform infrastructure-as-code files to add infrastructure context to the knowledge graph.
Compresses AI chat sessions into a typed knowledge graph (~300–800 tokens). Works file-based in Copilot, Claude Code, Cursor, and Gemini CLI without MCP server mode. Supports local/offline extraction via Ollama — no API key required.
9
2
MIT
Why this server?
Security auditor for OIDC cloud-trust misconfiguration in Terraform (also CloudFormation, GCP workload-identity, Azure federated credentials), correlating CI and cloud trust policies to detect broad wildcards or missing subject conditions.
Security auditor for CI ecosystems that detects supply-chain and injection flaws in CI/CD configuration files across seven CI platforms, providing taint analysis, remediation, and compliance scoring.
2
MIT
Why this server?
Provides persistent memory storage for Terraform providers and resources, with version tracking and relationship mapping capabilities.
A custom Memory MCP Server that acts as a cache for Infrastructure-as-Code information, allowing users to store, summarize, and manage notes with a custom URI scheme and simple resource handling.
