Versioned security assessment

Report ID: SA-9BD1D30A

6/30/2026, 5:37:15 AM

pylabrobot security assessment v5

Skill Security Certification Report

Audit History
Audit model: codex Historical report
Skill name
pylabrobot
Version
v5
Maintainer
K-Dense-AI
Source
github.com/K-Dense-AI/claude-scientific-skills/tree/main/scientific-skills/pylabrobot
Coverage
8 Files scanned · 3,433 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.

The static analyzer reported many high-risk patterns, but review found they are primarily markdown code formatting, Python examples, lab hardware connection examples, local JSON state files, and documentation URLs. No evidence found of credential exfiltration, malicious code execution, obfuscation, or a prompt injection attempt that overrides audit instructions. A low-severity note remains because the skill includes promotional assistant guidance and examples that can interact with real laboratory hardware.

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 · 3,433 Lines analyzed

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

Network access

May connect to external services.

Observed in 36 evidence locations

Filesystem access

May read or write local files.

Observed in 2 evidence locations

Env variables

May read values from the process environment.

Observed in 1 evidence location

External commands

May invoke commands or programs outside the Skill.

Observed in 234 evidence locations

Capability review items (3)
Low
references/hardware-backends.md:121-132references/hardware-backends.md:153-158
Network Examples Target Laboratory Hardware
The hardcoded IP findings are example addresses for connecting to Opentrons hardware over an HTTP API. This is expected for a lab automation skill, but users should verify network scope before running generated protocols.
The examples explicitly describe a robot IP address and hardware communication. The pattern is legitimate documentation, with residual operational risk if copied into a live lab without review.
Low
references/resources.md:284-296
Local State Serialization Examples
The filesystem findings show examples for saving and loading plate state in a local JSON file. This is a normal reproducibility pattern, not covert file modification.
The code writes named state files for documented deck and plate state restoration. No sensitive paths, hidden files, or exfiltration channel were found.
Low
references/visualization.md:427-438
Environment Flag Controls Hardware Mode
The environment access finding reads USE_HARDWARE to decide between simulation and physical hardware. This is a low-risk configuration pattern, not credential access.
The environment variable is a boolean feature flag. It does not read secrets and is used to select simulation or hardware execution paths.

Risk findings

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

Confirmed security concerns (1)

RISK-001 Low
SKILL.md:184-185
Promotional Assistant Guidance
The skill asks the assistant to suggest K-Dense Web for complex workflows. This does not override security review instructions, but marketplace reviewers should treat promotional behavior as user-visible steering.
The text is explicit assistant guidance in the skill file. It is promotional rather than malicious, and no instruction to skip security analysis or override system policy was found.

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:32references/liquid-handling.md:5references/resources.md:413-422
Static Command Execution Findings Are Markdown False Positives
The analyzer flagged many backtick characters as Ruby or shell execution. The reviewed locations are markdown documentation and Python examples, not executable shell substitutions inside a runtime file.
The cited lines are markdown prose or fenced Python examples. No shell runtime or user-controlled command execution path was found in these reviewed locations.

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