io.github.anthony-chaudhary/dos-kernel

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

  fail25% of grade

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

  Python build script executes at build time: subprocess in build script, network call in build script

• Credential hygiene

  warn15% of grade

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

  src/dos/reasons.py: assigns a literal to token (LANE…ED (len 12)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (LANE…ES (len 33)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (LANE…OP (len 37)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (LANE…ED (len 29)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (LANE…MP (len 40)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (LANE…MP (len 31)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (LANE…ON (len 33)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (SCHE…LE (len 17)) — non-provider secret literal; prefer environment intake. src/dos/reasons.py: assigns a literal to token (UNKN…NE (len 12)) — non-provider secret literal; prefer environment intake. tests/test_decisions.py: assigns a literal to token (LANE…ES (len 33)) — non-provider secret literal; prefer environment intake. tests/test_decisions.py: assigns a literal to token (LANE…ED (len 29)) — non-provider secret literal; prefer environment intake. tests/test_decisions.py: assigns a literal to token (MIS_…NG (len 18)) — non-provider secret literal; prefer environment intake. tests/test_refusal_and_tokens.py: assigns a literal to token (LANE…ET (len 22)) — non-provider secret literal; prefer environment intake. tests/test_refusal_and_tokens.py: assigns a literal to token (LANE…OW (len 18)) — non-provider secret literal; prefer environment intake. tests/test_refusal_and_tokens.py: assigns a literal to token (LANE…ED (len 12)) — non-provider secret literal; prefer environment intake. Reads secrets from the environment (e.g. src/dos/archive_lock.py) — the recommended intake shape.

• Permission scope

  warn15% of grade

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

  has both shell/exec and network egress — capable of download-and-run, though no such path was observed (src/dos/cli.py: subprocess.* call; src/dos/drivers/citation_resolve.py: outbound HTTP/socket call). has both shell/exec and destructive filesystem writes (src/dos/cli.py: subprocess.* call; src/dos/_filelock.py: destructive filesystem call (shutil.rmtree/os.remove/etc.)). discloses shell/exec capability: 18 files (src/dos/cli.py, src/dos/cli.py, src/dos/commit_audit.py, +15 more) discloses broad/destructive filesystem access: src/dos/_filelock.py: destructive filesystem call (shutil.rmtree/os.remove/etc.) discloses broad/destructive filesystem access: src/dos/cli.py: destructive filesystem call (shutil.rmtree/os.remove/etc.) discloses broad/destructive filesystem access: src/dos/home.py: destructive filesystem call (shutil.rmtree/os.remove/etc.) 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.anthony-chaudhary/[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.

  sends telemetry to third-party SDK (Datadog) — disclosure, verify opt-in; manifest/source references telemetry behavior — disclosure