"Information about Query Futures or Future Contracts" matching MCP servers:

MCP server for TNL (Typed Natural Language): per-feature English contracts for AI coding agents. 6 tools — get_impacted_tnls, retrieve_tnl, trace, propose_tnl_diff, approve_tnl_diff, verify — let agents look up relevant contracts, propose contract edits, and verify implementations against them. Drop-in via npx typed-nl init for Claude Code, Codex, Gemini.

Enables MCP-capable clients to query the tool registry, check install status, get tool recommendations for CTF or bug-bounty work, and run installed security tools through a governed execution path.

Enables coding agents to search and retrieve persistent repository memory created by Cliper, providing context, gaps, architecture, and timeline information via MCP tools.

MCP server for Python build123d to help AIs develop and reason about 3D models and CAD

Runs as an MCP server providing file system operations, shell execution, and system information tools, allowing Claude or any MCP client to edit files and control the machine.

An MCP server that lets any AI tool delegate tasks to the OpenCode CLI as a subagent, with multi-session orchestration, event tracking, and task contracts.

Send requests to OpenAI, MistralAI, Anthropic, xAI, or Google AI using MCP protocol via tool or predefined prompts. Vendor API key required

A semantic context compiler MCP server that provides stratified L0-L3 code context with exact-source escalation, enabling project analysis, symbol contracts, exact source retrieval, and a patching workflow with sandbox validation.

Enables coding agents to navigate and query source code by providing context, symbols, and call graph information through a graph index.

Query GPT-5, Claude, Gemini, and Grok simultaneously through one MCP server for multi-model AI perspectives in your coding agents.

STOP UI SLOP. Gives coding agents searchable evidence from 800,000+ real web and iOS screens, design contracts, and a hard UI finish gate.

MCP server that lets Claude, ChatGPT, or VS Code build a complete, machine-checked model of your domain and generate an app from it.

Enables users to run shell commands with compressed output, extract information from large files, drive local opencode and Codex agents, perform browser-automation tasks, and monitor runs via a live dashboard.

Send requests to OpenAI, MistralAI, Anthropic, xAI, or Google AI using MCP protocol via tool or predefined prompts. Vendor API key required. Both STDIO and SSE transport mechanisms are supported via arguments.

Enables AI coding agents to execute formal, stateful workflows with typed contracts, postcondition enforcement, and structured retry logic.

An MCP server that stores notes attached to specific code locations and keeps them attached as code moves, enabling coding agents to read context before editing and leave handoff notes for future sessions.

Turns product ideas into implementation-ready planning packages including PRD, requirements, user flow, wireframes, data schema, API contracts, and SDK boundaries, with an MCP handoff for coding agents.

Enables coding agents like Cursor to access Figma design data, fetch layout and styling information, and implement designs in any framework.

https://gopls-mcp.org/ MCP server for golang projects development: Expand AI Code Agent ability boundary to have a semantic understanding and determinisic information for golang projects.

Provides GitHub Copilot with 160+ AI agent personas and 1,400+ specialized skills, enabling developers to activate expert roles like backend architect or security engineer through natural language.