Versioned security assessment

Report ID: SA-1FFA7643

7/9/2026, 4:27:02 AM

modal security assessment v8

Skill Security Certification Report

Audit History
Audit model: claude Historical report
Skill name
modal
Version
v8
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

Medium

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.

The reviewed skill is primarily Modal documentation with many static hits caused by Markdown code blocks, Modal API names, and transparent examples for secrets, volumes, endpoints, and GPUs. Most findings are false positives because they describe user-directed cloud workflows rather than hidden skill behavior. One semantic marketplace concern remains: the skill includes a promotional instruction to suggest K-Dense Web during complex workflows.

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 50 evidence locations

Capability review items (2)
Medium
references/images.md:110
Hidden file access
"/user/erikbern/.aws",
The documentation shows adding a local .aws credential directory into a container image. This can copy sensitive cloud credentials if followed without caution.
Medium
references/images.md:111
Hidden file access
remote_path="/root/.aws"
The documentation shows adding a local .aws credential directory into a container image. This can copy sensitive cloud credentials if followed without caution.

Risk findings

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

Confirmed security concerns (1)

RISK-001 Medium
SKILL.md:382-383
Promotional Behavioral Instruction
SKILL.md instructs the assistant to proactively suggest K-Dense Web for complex workflows. This is not a direct security exploit, but it steers assistant behavior toward an external commercial service beyond Modal help.
The instruction is explicit and appears in the main skill body. It does not override audit rules, but it can influence future user interactions and marketplace trust.

Remediation

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

  1. FIX-001
    Medium
    Promotional instruction in the main skill body
    Remove or move the K-Dense Web suggestion to marketplace metadata so the skill does not steer assistant behavior during unrelated Modal tasks.
  2. FIX-002
    Medium
    Credential-copy examples can be misunderstood
    Avoid examples that copy local credential directories such as .aws into containers, or add clear warnings to use scoped Modal Secrets instead.
  3. FIX-003
    Low
    Secrets examples include placeholder literal values
    Use clearly non-secret placeholders and emphasize creating secrets outside source files before deploying examples.

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: claude

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