Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime DinCoder brings the…
Drift inferred · capture-to-capture
No drift recorded — single capability capture; advisories appear once its surface changes.
transport stdio · streamable-http · http counts 34 tools · 0 res
· 0 prompts
permission surface via code analysis
tools
-
artifacts_analyze
-
artifacts_read
-
clarify_add
-
clarify_list
-
clarify_resolve
-
constitution_create
-
contracts_generate
-
git_create_branch
-
metrics_export
-
metrics_report
-
plan_create
-
prereqs_check
-
quality_deps_update
-
quality_format
-
quality_license_check
-
quality_lint
-
quality_security_audit
-
quality_test
-
research_append
-
spec_lint
-
spec_refine
-
spec_validate
-
specify_describe
-
specify_start
-
tasks_filter
-
tasks_generate
-
tasks_search
-
tasks_stats
-
tasks_tick
-
tasks_tick_range
-
tasks_visualize
-
templates_customize
-
templates_list
-
test_echo
prompt-surface
shipped agent-instruction files + hidden-content / dangerous-code findings —
quoted from the analyzed source
analyzed commit 6c67715 · analyzer v33 · 1w ago
skills & prompt files 2
danger signals1
- dynamic code execution new Function() flight505-MCP_DinCoder-6c67715/src/speckit/templateCustomizer.ts :230
const hookFunction = new Function('content', 'context', hook.script);
evidence-backed
findings quoted directly from the published source artifact — not inferred
code files: 59
filesystem 29
- fs (weak) flight505-MCP_DinCoder-6c67715/scripts/run-prompt-test.ts :19
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/contractGenerator.ts :7
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/detector.ts :7
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/linter.ts :12
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/metrics.ts :13
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/parser.ts :7
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/taskParser.ts :10
import * as fs from 'fs'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/templateCustomizer.ts :7
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/speckit/templates.ts :7
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/artifacts.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/batch.ts :8
import * as fs from 'fs'; - fs flight505-MCP_DinCoder-6c67715/src/tools/clarify.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/constitution.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/contracts.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/metrics.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/plan.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/quality.ts :5
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/refine.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/research.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/specify.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/tasks.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/templates-mgmt.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/validate.ts :2
import * as fs from 'fs/promises'; - fs flight505-MCP_DinCoder-6c67715/src/tools/visualize.ts :8
import * as fs from 'fs'; - fs flight505-MCP_DinCoder-6c67715/src/tools/workspace.ts :6
import * as fs from 'fs'; - fs (weak) flight505-MCP_DinCoder-6c67715/tests/tools/clarify.test.ts :4
import * as fs from 'fs'; - fs (weak) flight505-MCP_DinCoder-6c67715/tests/tools/constitution.test.ts :2
import * as fs from 'fs/promises'; - fs (weak) flight505-MCP_DinCoder-6c67715/tests/tools/refine.test.ts :5
import * as fs from 'fs'; - fs (weak) flight505-MCP_DinCoder-6c67715/tests/tools/validate.test.ts :6
import * as fs from 'fs';
shell / exec 7
- shell (weak) flight505-MCP_DinCoder-6c67715/scripts/run-prompt-test.ts :20
import { execSync } from 'child_process'; - shell flight505-MCP_DinCoder-6c67715/src/speckit/contractGenerator.ts :9
import { exec } from 'child_process'; - shell flight505-MCP_DinCoder-6c67715/src/speckit/detector.ts :9
import { exec } from 'child_process'; - shell flight505-MCP_DinCoder-6c67715/src/speckit/metrics.ts :11
import { exec } from 'child_process'; - shell flight505-MCP_DinCoder-6c67715/src/tools/git.ts :2
import { exec } from 'child_process'; - shell flight505-MCP_DinCoder-6c67715/src/tools/prereqs.ts :2
import { exec } from 'child_process'; - shell flight505-MCP_DinCoder-6c67715/src/tools/quality.ts :2
import { exec } from 'child_process';
network 1
- net (weak) flight505-MCP_DinCoder-6c67715/scripts/run-prompt-test.ts :73
return fetch(input, init);
secrets 3
- secrets (weak) flight505-MCP_DinCoder-6c67715/examples/smithery-client.ts :32
const apiKey = process.env.SMITHERY_API_KEY; - secrets flight505-MCP_DinCoder-6c67715/src/config/index.ts :65
if (process.env.API_KEY) { - secrets flight505-MCP_DinCoder-6c67715/src/index.ts :43
process.env.API_KEY = config.apiKey;
tool registrations 34
- constitution_create flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :162
- clarify_add flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :172
- clarify_resolve flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :181
- clarify_list flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :190
- spec_validate flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :199
- artifacts_analyze flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :208
- spec_refine flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :217
- prereqs_check flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :226
- specify_start flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :235
- specify_describe flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :252
- plan_create flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :269
- tasks_generate flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :286
- tasks_tick flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :303
- tasks_visualize flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :320
- tasks_filter flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :337
- tasks_tick_range flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :354
- tasks_search flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :371
- tasks_stats flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :388
- contracts_generate flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :406
- templates_list flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :424
- templates_customize flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :441
- metrics_report flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :459
- metrics_export flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :476
- spec_lint flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :494
- quality_format flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :512
- quality_lint flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :529
- quality_test flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :546
- quality_security_audit flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :563
- quality_deps_update flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :580
- quality_license_check flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :597
- artifacts_read flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :615
- research_append flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :633
- git_create_branch flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :651
- test_echo flight505-MCP_DinCoder-6c67715/src/server/createServer.ts :669
install hooks 1
- prepare flight505-MCP_DinCoder-6c67715/package.json :42
husky
declared dependencies 22
- @modelcontextprotocol/sdk@^1.17.5
- @smithery/sdk@^1.6.8
- dotenv@^17.2.2
- express@^5.1.0
- markdownlint@^0.39.0
- markdownlint-rule-helpers@^0.30.0
- zod@^3.25.76
- @eslint/js@^9.35.0
- @types/express@^5.0.3
- @types/node@^24.3.1
- @types/supertest@^6.0.3
- @vitest/coverage-v8@^3.2.4
- eslint@^9.35.0
- husky@^9.1.7
- prettier@^3.6.2
- supertest@^7.1.4
- tsoa@^6.6.0
- tsup@^8.5.0
- tsx@^4.20.5
- typescript@^5.9.2
- typescript-eslint@^8.43.0
- vitest@^3.2.4