ai.smithery/flight505-mcp_dincoder

MCPcommunity
v0.1.15ai.smitheryUnknownUpdated 10mo agoGitHub

Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime DinCoder brings the…

Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime The MCP implementation of GitHub's Spec Kit methodology — transforming specifications into executable artifacts MCP Prompts (AI Workflow Orchestration) Why Spec-Driven Development? An official Model Context Protocol server implementing GitHub's Spec-Driven Development (SDD) methodology DinCoder brings the power of…

Automatically indexed from public sources. Not yet verified by the developer on Forge.Claim this listing →
10mo agoLast update
Package
Authorai.smithery
LicenseUnknown
Version0.1.15
Sourcemcp-registry
GitHubflight505/MCP_DinCoder
Trust Status
B
60/100Good
✓Listed in Forge index+10/10
—Publisher identity verified+0/30
→ Publisher: run `forge publish` from the repo to claim ownership
—Domain verification+0/10
→ Not currently available for this listing type — the domain-verification check only runs for npm-backed packages today, so this row cannot be earned here yet regardless of what's hosted at the domain.
✓Prompt-injection scan · clean+30/30
✓Obfuscation / exfil scan · clean+20/20
Paste into Claude Code, Cursor, or any AI assistant to fix all gaps
StatusCommunity-indexed
PublisherUnverified
SignatureUnsigned
Domain—
Provenance—
DependenciesNot audited
Tool surface35 tools · none privileged
Security scan✓ CleanvHEAD · 2mo ago
EvalsNone
IndexedJun 13, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.

About

Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime The MCP implementation of GitHub's Spec Kit methodology — transforming specifications into executable artifacts MCP Prompts (AI Workflow Orchestration) Why Spec-Driven Development? 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…

Keywords
mcp