"A server for finding information about Terraform infrastructure-as-code tool" matching MCP servers:

Deterministic SNAP eligibility logic, exposed as auditable Model Context Protocol tools. An AI agent can read, reason, and orchestrate, but the eligibility determination itself is made by versioned, tested, cited code that a caseworker, an auditor, or a court can inspect.

Enables AI agents to manage Terraform modules by searching, inspecting, and scaffolding configurations from private GitHub repositories. Also provides backend S3 configuration for generated Terraform code.

A Model Context Protocol (MCP) server that lets Claude manage Terraform infrastructure through natural language.

Enables AI assistants to search and retrieve information about Terraform providers and modules from the public Terraform registry, including detailed documentation, version information, and resource specifications.

Run DeepSeek as a real sub-agent inside Claude Code / Codex CLI — not just a single LLM call. DeepSeek gets its own 7-tool agent loop (Read/Write/Edit/Bash/Glob/Grep/NotebookEdit) inside a sandboxed workspace.

An MCP (Model Context Protocol) server that gives AI agents live, structured ad intelligence across Facebook, Google, and Instagram — data that no base model can produce from training alone. Powered by Apify actors. Works with any MCP-compatible client: Cursor, Claude, etc.

Delegates work from MCP clients (like Claude Code) to the Codex CLI, allowing spawning of autonomous Codex subagents for tasks.

Provides a SQLite-backed MCP server that records agent memory as history, enabling explicit consolidation, source checks, revisions, narrative versions, and accountable forgetting.

Exposes product-style completion tools (OpenAI chat-completions-shaped and Anthropic messages-shaped) that are fulfilled by sampling the host agent's own LLM over MCP, so no model API keys are ever needed. Also offers a model listing endpoint aliasing the host's model.

Bridges a remote, cloud-hosted agent to your local machine, exposing Pi's coding tools (read, write, edit, ls, grep, find, bash, powershell) rooted at a directory you choose. It also adds a human channel so the agent can message, question, and wait on you through tool calls instead of a platform chat UI, with OAuth 2.1 or bearer-token authorization and no persistence between runs.

Enables MCP clients like Claude to query Chinese A-share market data, including K-line charts with forward/backward adjustment, limit-up and limit-down pools, per-stock fund flows, index quotes, and stock news, with automatic symbol normalization and retry handling for throttled data sources.

Provides A-share (Chinese stock market) quantitative analysis through tools for stock screening, northbound capital flow tracking, dragon-tiger list analysis, margin trading, sector analysis, technical indicators, IPO info, and limit-up/down statistics using akshare data.

Merx - TRON Resource Exchange Merx is the first TRON resource exchange that aggregates energy and bandwidth providers into a single MCP server. GitHub: https://github.com/Hovsteder/merx-mcp Hosted SSE: https://merx.exchange/mcp/sse npm: merx-mcp Website: https://merx.exchange Stats * 52 tools, 30 prompts, 21 resources * 7+ energy providers (CatFee, ITRX, PowerSun, Fe

MCP server with local vector search for your codebase. Smart indexing, semantic search, Git history — all offline.

embedded code search engine CLI -AST based that just works - improves speed and efficiency for coding agent

An MCP server that provides utility tools for text analysis, URL metadata fetching, and temperature conversion.

Enables multi-agent council workflows for coding assistants, providing parallel independent reviews, plans, brainstorms, validation, and research with strict read-only boundaries.

An MCP proxy that embeds tool definitions and returns only the top-k semantically relevant tools per query, reducing context usage and routing calls to upstream MCP servers.

An MCP server that enables AI agents to pause and request human approval or information via Slack, Telegram, or macOS dialogs before proceeding with actions.

Turns your PDFs into locally stored flashcards and quizzes, grades your answers, and schedules spaced-repetition reviews entirely on your machine.

Gemini-powered MCP server for automated code review, analysis, and documentation.

Read-only MySQL MCP server that lets AI agents list tables, describe schemas, and run SELECT/SHOW/EXPLAIN queries with a row cap, bound to a single database for safety.

Graph-based tool retrieval for LLM agents. Builds a tool graph from OpenAPI/MCP specs and retrieves multi-step workflows via hybrid search (BM25 + graph traversal + embedding), recovering accuracy from 12% to 82% with 79% fewer tokens. Also works as an MCP Proxy to aggregate multiple servers behind 3 meta-tools.

Provides structural, queryable understanding of a Python codebase via MCP tools, enabling direct lookups for callers, dependencies, and class hierarchies without repeated grep/read cycles.

Serves bundled local engineering guidance—four instructions, a control Guide and 20 software engineering procedures—over local STDIO so coding agents can discover and read the right procedure for a task. It is read-only and stateless, leaving all project changes and permissions to the consuming agent.

Enables AI agents to manage infrastructure by exposing Terraform tasks and deployments as tools via STDIO or SSE.

Provides an MCP interface to the ROBOT command-line tool for OWL ontology editing, enabling operations like merging, reasoning, and conversion via natural language.

A delegation socket MCP server that enables a driver code agent to hand off subtasks to a cheap local worker (e.g., OpenCode) via a single MCP tool call and pick up results asynchronously without breaking flow.

Enables AI assistants to natively execute and manage 600+ Kali Linux security, penetration testing, and forensic tools, including search, help documentation, structured scanners, and workspace management.

Provides a local MCP server for AI-powered web crawling on Windows, enabling agents to directly crawl and extract web content without requiring WSL.