Versioned security assessment

Report ID: SA-D4608482

6/30/2026, 5:25:45 AM

cobrapy security assessment v5

Skill Security Certification Report

Audit History
Audit model: codex Historical report
Skill name
cobrapy
Version
v5
Maintainer
K-Dense-AI
Source
github.com/K-Dense-AI/claude-scientific-skills/tree/main/scientific-skills/cobrapy
Coverage
3 Files scanned · 1,713 Lines analyzed
Policy version
Unavailable

Confirmed finding summary

No confirmed security findings

The completed audit recorded no confirmed security findings. This is not proof that the Skill has no side effects.

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.

AI review found the critical heuristic to be a false positive caused by Markdown Python examples with imports, model I/O, plotting, and CSV export. The hardcoded URLs point to COBRApy documentation and an optional K-Dense Web suggestion; no credential access, network execution, or prompt injection evidence was found. Risk is low because users may copy examples that read or write local scientific files.

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

3 Files scanned · 1,713 Lines analyzed

2 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 4 evidence locations

Network access

May connect to external services.

Observed in 2 evidence locations

Filesystem access

May read or write local files.

Not recorded by this audit

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

Capability review items (2)
Low
SKILL.md:460-463references/api_quick_reference.md:655
Hardcoded External References Without Network Execution
The network findings are plain documentation links to COBRApy documentation and a K-Dense Web suggestion. They do not make requests, transmit data, or access credentials.
The evidence is limited to visible URLs in Markdown prose. I found no fetch, request, upload, credential access, or automatic network behavior.
Low
references/workflows.md:76-80references/workflows.md:255-280references/workflows.md:588-590
Copied Workflow Examples Can Write Local Output Files
Several workflow examples export CSV files and plots when users choose to run them. This is expected for scientific analysis, but users should review output paths before execution.
The examples clearly call CSV and image export methods, but only as user-run documentation snippets. This is a minor operational risk rather than malicious behavior.

Risk findings

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

No confirmed security findings were recorded for this completed audit.

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.

Static false positives ignored (1)
Low
SKILL.md:22-35references/api_quick_reference.md:9-22references/workflows.md:9-80
Static Code-Execution Flags Are Documentation False Positives
The analyzer flagged Markdown Python imports and fenced code examples as dynamic imports and shell execution. These locations document COBRApy API usage and do not define executable skill code.
The flagged lines are inside Markdown code fences and show normal Python COBRApy examples. No executable wrapper, shell invocation, or user-input command construction is present.

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