Driven Intent Negotiation β Contract-Oriented Deterministic Executable Runtime DinCoder brings theβ¦
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
We haven't yet run this listing's install command through our automated sandbox check. This isn't a red flag β we're steadily working through the catalog.
π‘ Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Driven Intent Negotiation β Contract-Oriented Deterministic Executable Runtime
The MCP implementation of GitHub's Spec Kit methodology β transforming specifications into executable artifacts
An official Model Context Protocol server implementing GitHub's Spec-Driven Development (SDD) methodology
DinCoder brings the power of GitHub Spec Kit to any AI coding agent through the Model Context Protocol. It transforms the traditional "prompt-then-code-dump" workflow into a systematic, specification-driven process where specifications don't serve codeβcode serves specifications.
Available Prompts:
start_project - Initialize new spec-driven projectcreate_spec - Create feature specificationgenerate_plan - Generate implementation plancreate_tasks - Break down into actionable tasksreview_progress - Generate progress reportvalidate_spec - Check specification qualitynext_tasks - Show actionable tasksNote: These are NOT slash commands you type. They're workflow templates that your AI agent uses automatically when you describe your goals!
constitution_createclarify_add, clarify_resolve, clarify_listπ― Quick Decision Guide:
- Using Claude Code? β Install the Plugin (easier, includes slash commands & agents)
- Using VS Code/Codex/Cursor? β Install MCP Server Only (plugins not supported)
β οΈ Don't install both! The plugin automatically installs the MCP server - installing both may cause conflicts.
To install DinCoder automatically via Smithery:
Configure the MCP server inside Cursor's MCP settings; once you select a project, Cursor injects the workspace path automatically.
Install globally:
Recommended clients: DinCoder expects the MCP client to bind the active project directory automatically so generated specs, plans, and tasks land in the repo you are working on. Cursor, Claude Code, and Codex do this for every request. Claude Desktop's chat UI does not, so commands default to the server's own install directory; only use Claude Desktop if you plan to pass
workspacePathmanually on each call.
Important: DinCoder creates all files in your current working directory (where you run your AI agent from).
Tip: Launch your MCP client from the project root so every tool writes into the correct repo.
Transform ideas into production-ready code through three powerful commands:
/specify β Transform Ideas into SpecificationsWhat happens:
[NEEDS CLARIFICATION]Output: A comprehensive PRD focusing on WHAT users need and WHYβnever HOW to implement.
/plan β Map Specifications to Technical DecisionsWhat happens:
Output: Complete implementation plan with every decision traced to requirements.
/tasks β Generate Executable Task ListsWhat happens:
[P]Output: Numbered task list ready for systematic implementation.
Result: Complete, executable specifications ready for any AI agent to implement.
New in v0.4.0: DinCoder includes 7 MCP prompts that provide guided workflows for AI agents. These are NOT slash commands you typeβthey're workflow templates that your AI agent (Claude, Copilot, etc.) automatically discovers and uses to help you.
MCP prompts are invisible to users but powerful for AI agents:
You don't "run" these prompts directly. Just describe what you want in natural language, and your AI agent will use the appropriate prompt workflow automatically!
Factual signals from GitHub, npm, and our automated checks β not a rating.
No reviews yet β be the first to share how this listing worked for you.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/flight505-mcp-dincoder)<a href="https://allmcps.com/mcp/flight505-mcp-dincoder"><img src="https://allmcps.com/api/badge/flight505-mcp-dincoder?style=directory" alt="Flight505 MCP Dincoder on AllMCPs" /></a>