About
DinCoder is an MCP server that implements GitHub's Spec-Driven Development methodology, transforming AI coding workflows from ad-hoc prompting into systematic, specification-driven processes. It brings GitHub Spec Kit capabilities to AI coding agents, ensuring code serves specifications rather than the other way around. Key capabilities of DinCoder: - AI workflow orchestration through MCP prompts with seven built-in workflows for project initialization, spec creation, implementation planning, task breakdown, and progress review - Specification management tools for creating, validating, and managing feature specifications as the foundation of development - Project constitution tool for defining project-wide principles, constraints, and coding preferences to ensure consistency across AI-generated code - Clarification tracking with systematic Q&A management using unique IDs (CLARIFY-001, etc.) for tracking ambiguities and resolutions with full audit trails - Task management for breaking specifications into actionable tasks and tracking implementation progress
README
[](https://smithery.ai/server/@flight505/mcp_dincoder)
Driven Intent Negotiation β Contract-Oriented Deterministic Executable Runtime
> *The MCP implementation of GitHub's Spec Kit methodology β transforming specifications into executable artifacts*
---
Table of Contents
---
π― What is DinCoder?
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.
What's New in v0.4.0 (Integration & Discovery Update)
#### π― MCP Prompts - AI Workflow Orchestration β¨
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 Tool - Define Your Project's DNA
constitution_create#### β Clarification Tracking - Systematic Q&A Management
clarify_add, clarify_resolve, clarify_list---
π¦ Installation
> π― 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.
Prerequisites
Installing via Smithery
To install DinCoder automatically via Smithery:
npx -y @smithery/cli install @flight505/mcp_dincoder
Claude Code / VS Code Users
claude mcp add dincoder -- npx -y mcp-dincoder@latest
Cursor
Configure the MCP server inside Cursor's MCP settings; once you select a project, Cursor injects the workspace path automatically.
Other MCP Clients
Install globally:
npm install -g mcp-dincoder@latest
> 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 workspacePath manually on each call.
π Where Files Are Created
Important: DinCoder creates all files in your current working directory (where you run your AI agent from).
```bash your-project/ βββ specs/ # Created automatically β βββ 001-feature-name/ # Feature directory (auto-numbered) β β βββ constitution.md # Project principles (optional, recommended first step) β β βββ spec.md # Requirements & user stories β β βββ plan.md # Technical implementation plan β β βββ tasks.md # Executable task list β β βββ research
Related MCP Servers
AI Research Assistant
hamid-vakilzadeh
AI Research Assistant provides comprehensive access to millions of academic papers through the Semantic Scholar and arXiv databases. This MCP server enables AI coding assistants to perform intelligent literature searches, citation network analysis, and paper content extraction without requiring an API key. Key features include: - Advanced paper search with multi-filter support by year ranges, citation thresholds, field of study, and publication type - Title matching with confidence scoring for finding specific papers - Batch operations supporting up to 500 papers per request - Citation analysis and network exploration for understanding research relationships - Full-text PDF extraction from arXiv and Wiley open-access content (Wiley TDM token required for institutional access) - Rate limits of 100 requests per 5 minutes with options to request higher limits through Semantic Scholar
Linkup
LinkupPlatform
Linkup is a real-time web search and content extraction service that enables AI assistants to search the web and retrieve information from trusted sources. It provides source-backed answers with citations, making it ideal for fact-checking, news gathering, and research tasks. Key features of Linkup: - Real-time web search using natural language queries to find current information, news, and data - Page fetching to extract and read content from any webpage URL - Search depth modes: Standard for direct-answer queries and Deep for complex research across multiple sources - Source-backed results with citations and context from relevant, trustworthy websites - JavaScript rendering support for accessing dynamic content on JavaScript-heavy pages
Math-MCP
EthanHenrickson
Math-MCP is a computation server that enables Large Language Models (LLMs) to perform accurate numerical calculations through the Model Context Protocol. It provides precise mathematical operations via a simple API to overcome LLM limitations in arithmetic and statistical reasoning. Key features of Math-MCP: - Basic arithmetic operations: addition, subtraction, multiplication, division, modulo, and bulk summation - Statistical analysis functions: mean, median, mode, minimum, and maximum calculations - Rounding utilities: floor, ceiling, and nearest integer rounding - Trigonometric functions: sine, cosine, tangent, and their inverses with degrees and radians conversion support