ai.smithery/flight505-mcp_dincoder

MCPcommunity
v0.1.15ai.smitheryUnknownUpdated 9mo 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 →
9mo agoLast update
Package
Authorai.smithery
LicenseUnknown
Version0.1.15
Sourcemcp-registry
Trust Status
B
60/100Good
Listed in Forge index+10/10
Publisher identity verified+0/25
Publisher: run `forge publish` from the package repo to claim ownership
Ed25519 publish signature+0/10
Included automatically when the publisher runs `forge publish`
Domain verification+0/5
Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }
CVE scan · not run+0/30
Not yet scanned — package must be on npm
Static analysis · clean+20/20
npm provenance (Sigstore)+0/5
Publish from GitHub Actions with the --provenance flag
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 · 19d 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