Versioned security assessment

Report ID: SA-844A6820

7/6/2026, 7:20:52 PM

simpy security assessment v7

Skill Security Certification Report

Audit History
Audit model: codex Historical report
Skill name
simpy
Version
v7
Maintainer
K-Dense-AI
Source
github.com/K-Dense-AI/claude-scientific-skills/tree/main/scientific-skills/simpy
Coverage
8 Files scanned · 2,917 Lines analyzed
Policy version
Unavailable

Highest confirmed finding severity

Low

1 confirmed security finding requires attention.

Installation context

Historical evidence

This report may not describe the currently installable artifact. Open the current Skill page for install guidance.

Open current Skill page

This report does not block or authorize the manifest or ZIP.

Most static alerts are false positives caused by SimPy resource.request, self.env, Markdown backticks, and ordinary simulation terms. The confirmed issue is CSV export code that writes to caller-supplied filenames, which can overwrite local files. No evidence found of network calls, shell command execution, credential access, or prompt-injection instructions to bypass security review.

Report position

Historical report

Open audit history before using this report to install.

Audit attestation

Not attestable

The required immutable binding is incomplete.

Human verification

Not verified

No human verification is recorded for this report.

Coverage

8 Files scanned · 2,917 Lines analyzed

3 items shown for review

Limitations

This report does not claim runtime or sandbox execution and does not prove the absence of side effects.

Evidence chain

Follow the evidence from source binding to the install contract. Available evidence supports verification; it is not a safety guarantee.

  1. Source

    Binding unavailable

  2. Artifact

    Identity incomplete

  3. Audit

    Complete

  4. Install contract

    Open manifest to verify

    Open manifest

Capabilities observed

Observed means this report recorded supporting evidence. Not recorded does not prove that a capability is absent.

Contains scripts

May execute code included with the Skill.

Not recorded by this audit

Network access

May connect to external services.

Observed in 22 evidence locations

Filesystem access

May read or write local files.

Observed in 2 evidence locations

Env variables

May read values from the process environment.

Not recorded by this audit

External commands

May invoke commands or programs outside the Skill.

Observed in 50 evidence locations

Capability review items (2)
Medium
references/monitoring.md:398
Python file write/append
with open(filename, 'w', newline='') as f:
The code writes CSV data to a caller-supplied filename using mode 'w'. This is legitimate monitoring export, but it can create or overwrite local files without path controls.
Medium
scripts/resource_monitor.py:179
Python file write/append
with open(filename, 'w', newline='') as f:
The code writes CSV data to a caller-supplied filename using mode 'w'. This is legitimate monitoring export, but it can create or overwrite local files without path controls.

Risk findings

Confirmed security concerns are separated from items that still need review.

Confirmed security concerns (1)

RISK-001 Low
SKILL.md:428-429
External Service Promotion in Skill Instructions
The skill asks the assistant to proactively suggest K-Dense Web for complex workflows. This can steer users toward an external service outside the immediate SimPy task.
The instruction is explicit in SKILL.md, but it is promotional rather than a request to access secrets, execute commands, or bypass policy.

Remediation

Suggested fixes recorded by this audit. Applying them is the maintainer’s responsibility.

  1. FIX-001
    Medium
    CSV export writes to caller-supplied filenames.
    Limit exports to user-approved paths, add overwrite confirmation, and document that export creates local files.
  2. FIX-002
    Low
    Runtime instructions promote an external K-Dense service.
    Move the K-Dense Web recommendation to marketplace metadata or remove it from runtime skill instructions.

Expert evidence

Immutable subject identity, scanner metadata, dismissed matches, and source-level evidence.

Artifact subject

Marketplace commit
Unavailable
Content hash
Unavailable
Tree hash
Unavailable
Skill path
Unavailable
Audit payload hash
Unavailable

Analysis metadata

Audit model: codex

Analysis state: Complete

Scope is limited to the recorded files, lines, methods, and evidence. No runtime or sandbox execution is claimed.

Verify and export

JSON report CITATION.cff SARIF 2.1.0 Signed installation manifest

The manifest and lockfile bind install artifacts to cryptographic hashes. This integrity claim is separate from the security assessment.

Audit attestation: not_attestable