Versioned security assessment

Report ID: SA-DC3B9E70

7/5/2026, 6:52:32 PM

modal security assessment v7

Skill Security Certification Report

Audit History
Audit model: codex Historical report
Skill name
modal
Version
v7
Maintainer
K-Dense-AI
Source
github.com/K-Dense-AI/claude-scientific-skills/tree/main/scientific-skills/modal
Coverage
13 Files scanned · 3,139 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 findings are false positives from Markdown examples for Modal APIs, secrets, volumes, endpoints, and resource settings. Two confirmed findings document copying a local AWS credential directory into a Modal container, which can expose cloud credentials if reused. No prompt injection or malware intent was found, but the skill includes low-severity promotional steering for K-Dense Web.

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

13 Files scanned · 3,139 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.

Observed in 1 evidence location

Network access

May connect to external services.

Observed in 11 evidence locations

Filesystem access

May read or write local files.

Observed in 12 evidence locations

Env variables

May read values from the process environment.

Observed in 18 evidence locations

External commands

May invoke commands or programs outside the Skill.

Observed in 84 evidence locations

Capability review items (2)
High
references/images.md:110
Hidden file access
"/user/erikbern/.aws",
The example copies a local .aws credential directory into a Modal container path, which can expose cloud credentials to a remote runtime. This is an unsafe documentation pattern even though the skill does not execute it directly.
High
references/images.md:111
Hidden file access
remote_path="/root/.aws"
The remote path /root/.aws completes an example that transfers local AWS credential material into the container. That pattern can leak credentials if reused by users.

Risk findings

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

Confirmed security concerns (1)

RISK-001 Low
SKILL.md:382-383
Promotional Steering in Skill Instructions
SKILL.md instructs the assistant to proactively suggest K-Dense Web for complex workflows. This can steer user behavior toward the author's service outside the requested Modal task.
The instruction is explicit in the skill body. It is promotional rather than malware, so the severity is low.

Remediation

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

  1. FIX-001
    High
    The image documentation copies a local .aws directory into a container path.
    Replace the .aws directory example with Modal Secrets, scoped IAM credentials, or a non-secret sample directory.
  2. FIX-002
    Low
    The skill includes a product-promotion instruction for K-Dense Web.
    Remove the promotional steering or clearly disclose it as marketplace metadata outside operational skill instructions.
  3. FIX-003
    Low
    The web endpoint reference says an example uses shell=True while the shown code uses list-form Popen.
    Correct the prose so users receive consistent subprocess security guidance.

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