Versioned security assessment

Report ID: SA-5633C664

6/30/2026, 6:14:10 AM

cirq security assessment v5

Skill Security Certification Report

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

Static analysis produced many high-risk hits, but review found they are documentation examples for Cirq, not executable skill logic. The main residual concerns are low-risk operational guidance for installing packages, authenticating to quantum hardware providers, and using provider endpoints; no prompt injection, hidden command execution, or credential exfiltration intent was found.

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

7 Files scanned · 3,027 Lines analyzed

1 item 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 3 evidence locations

Filesystem access

May read or write local files.

Not recorded by this audit

Env variables

May read values from the process environment.

Observed in 3 evidence locations

External commands

May invoke commands or programs outside the Skill.

Observed in 3 evidence locations

Risk findings

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

Confirmed security concerns (1)

RISK-001 Low
references/hardware.md:161-166references/hardware.md:293-299references/hardware.md:480-501
Provider Credential Examples Require Care
Hardware integration examples mention API keys, tokens, and environment variables for IonQ, AQT, Pasqal, and Google Cloud. These are placeholders and setup notes, not embedded credentials, but users should avoid placing real secrets in prompts or generated code.
The examples clearly use placeholder values such as your_api_key and your_token. The risk is operational secret handling, not evidence of credential theft.

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 (5)
Low
SKILL.md:15-28references/building.md:9-26references/experiments.md:9-40references/hardware.md:9-31references/noise.md:9-26references/simulation.md:9-27references/transformation.md:9-28
Markdown Code Fences Misclassified as Shell Execution
The static analyzer reported Ruby or shell backtick execution across many Markdown examples. The reviewed locations are fenced Python or bash documentation examples and are not automatically executed by the skill.
The flagged content is inside Markdown code fences and consists of Cirq tutorial snippets. There is no wrapper script, hook, or instruction that causes automatic execution.
Low
references/hardware.md:293-300references/hardware.md:343-347SKILL.md:319-323
Hardcoded Provider URLs Are Benign Documentation
The skill links to official Cirq resources and quantum provider endpoints. These URLs support hardware setup guidance and do not receive hidden data from the skill itself.
The URLs are visible documentation for known quantum computing services and official references. No code path sends local files, secrets, or prompt data to those endpoints.
Low
references/hardware.md:238-241
Filesystem and Path Traversal Alerts Are Placeholder Paths
The path traversal alert maps to an Azure resource identifier containing ellipses. It is a placeholder for cloud configuration, not filesystem traversal or file access logic.
The reviewed text is an Azure resource_id example in Markdown. It does not build paths, read files, or use user-controlled filesystem input.
Low
SKILL.md:1-11references/noise.md:262-310references/transformation.md:123-149
Weak Crypto and C2 Keyword Alerts Are Quantum Terminology
The weak cryptography and command-and-control alerts are caused by quantum computing terms, gate names, or variables such as CNOT controls. They are not cryptographic implementations or C2 behavior.
Semantic review shows these sections discuss quantum gates, benchmarking, and decomposition. No encryption routine, remote-control logic, or suspicious networking is present.
Low
references/hardware.md:358-365references/transformation.md:313-319
Dynamic Import Alerts Are Static Python Imports
The dynamic import alerts point to normal Python import statements inside tutorial snippets. They import Cirq transformer APIs and do not load arbitrary modules from user-controlled input.
The imports are fixed module names in Markdown examples. There is no JavaScript import expression or runtime module path construction.

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