io.github.CseperkePapp/design-constraint-validator

What we checked

Six static checks, weighted by risk. Every result reflects only what could be observed in the published package and repository — never intent.

• Injection surface

  unscannable25% of grade

  Tool descriptions/manifest scanned for instruction-injection patterns (imperatives at the model, hidden text, 'ignore previous', data-exfil URLs).

  No tool descriptions, server instructions, prompts, or resources were fetched; nothing to scan for injection.

• Supply chain

  pass25% of grade

  Package provenance: namespace verification, repo linkage, maintainer count, account age, postinstall scripts, typosquat distance.

  repository linkage verified

• Credential hygiene

  pass15% of grade

  How the server takes secrets (env vs plaintext config vs hardcoded); secrets appearing in tool schemas.

  Reads secrets from the environment (e.g. core/image-export.js) — the recommended intake shape. PASS = no static red flag; static analysis cannot prove the code honors env-based secret handling at runtime.

• Permission scope

  fail15% of grade

  Declared tools vs. breadth (filesystem, network, exec); flags shell-exec and unbounded filesystem access.

  HIGH: shell/exec capability AND destructive filesystem writes together (core/image-export.js: imports child_process and calls exec/spawn; cli/build-css.js: path traversal ('../') combined with file access). discloses shell/exec capability: core/image-export.js: imports child_process and calls exec/spawn discloses shell/exec capability: core/image-export.ts: imports child_process and calls exec/spawn discloses broad/destructive filesystem access: cli/build-css.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/build.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/constraint-registry.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: mcp/contracts.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/graph-poset.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/graph.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: mcp/insights.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/json-output.js: destructive/writing fs.* call (write/unlink/rm/chmod/rename) discloses broad/destructive filesystem access: cli/commands/patch-apply.js: destructive/writing fs.* call (write/unlink/rm/chmod/rename) discloses broad/destructive filesystem access: cli/commands/patch-apply.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/patch.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/run.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/set.js: destructive/writing fs.* call (write/unlink/rm/chmod/rename) discloses broad/destructive filesystem access: cli/commands/set.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/smoke-test.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: mcp/tools.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/utils.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/validate-api.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/validate.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/version-banner.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: core/constraints/wcag.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/why.js: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/build-css.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/build.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/constraint-registry.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: mcp/contracts.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/cross-axis-loader.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: core/constraints/cross-axis.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/graph-poset.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/graph.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: mcp/insights.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/json-output.ts: destructive/writing fs.* call (write/unlink/rm/chmod/rename) discloses broad/destructive filesystem access: cli/json-output.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/patch-apply.ts: destructive/writing fs.* call (write/unlink/rm/chmod/rename) discloses broad/destructive filesystem access: cli/commands/patch-apply.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/patch.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/run.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/set.ts: destructive/writing fs.* call (write/unlink/rm/chmod/rename) discloses broad/destructive filesystem access: cli/commands/set.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/smoke-test.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: mcp/tools.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/utils.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/validate-api.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/validate.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/version-banner.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: core/constraints/wcag.ts: path traversal ('../') combined with file access discloses broad/destructive filesystem access: cli/commands/why.ts: path traversal ('../') combined with file access Capability DISCLOSURE, not a verdict: static analysis sees the primitive is present and reachable, not whether its use is attacker-controlled.

• Version behavior

  unscannable10% of grade

  Diff of tool definitions between versions; new permissions or changed descriptions in a patch release (the postmark-mcp class).

  no prior version to diff (first sight of io.github.CseperkePapp/[email protected]); version-drift / rug-pull cannot be evaluated. Cold-start risk is covered by point-in-time checks (injection_surface, supply_chain, credential_hygiene), not here.

• Transport config

  warn10% of grade

  Remote servers: TLS and auth mode (none/token/OAuth). Local servers: whether the manifest indicates it phones home.

  manifest/source references tracking behavior — disclosure