Versioned security assessment

Report ID: SA-BBD9C047

6/30/2026, 5:54:28 AM

hypothesis-generation security assessment v5

Skill Security Certification Report

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

Static analysis reported many external command and weak cryptography patterns. Manual review found no executable source code, credential access, data exfiltration, or prompt injection. Most alerts are Markdown code examples, LaTeX syntax, scientific terminology, or public PubMed search examples.

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,001 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.

Not recorded by this audit

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

Capability review items (2)
Low
SKILL.md:40-42SKILL.md:232-242assets/FORMATTING_GUIDE.md:23-28
Documented Shell Commands Require User Execution
The skill includes Bash and LaTeX command examples for generating schematics and compiling reports. They are documentation snippets, not hidden code, but users should review commands before running them.
The command examples are clearly inside Markdown code fences and relate to the stated reporting workflow. Risk remains low because the skill declares Bash use and the commands are not automatically executed.
Low
references/literature_search_strategies.md:46-47references/literature_search_strategies.md:104-119
Public Literature Search URLs
The network findings are PubMed URL examples used to teach literature search strategy. They do not include secrets, tracking endpoints, or instructions to send private data to a third party.
The URLs point to PubMed search pages and use generic example terms or placeholders. No evidence found of credential collection, covert networking, or exfiltration 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 (2)
Low
SKILL.md:3assets/FORMATTING_GUIDE.md:5assets/hypothesis_generation.sty:3assets/hypothesis_report_template.tex:57references/experimental_design_patterns.md:5
Weak Cryptography Alerts Are False Positives
The high static alerts for weak cryptography occur in scientific and LaTeX text, not cryptographic code. Examples include hypothesis descriptions, design guidance, and formatting references.
Manual review found no hashing, encryption, authentication, or cryptographic API usage. The flagged words are semantic false positives from domain vocabulary and document formatting.
Low
assets/FORMATTING_GUIDE.md:554references/experimental_design_patterns.md:231references/hypothesis_quality_criteria.md:55SKILL.md:263
System Reconnaissance Alerts Are False Positives
The scanner flagged ordinary research-methodology text as reconnaissance. Manual review found no host enumeration, environment probing, or system information collection instructions.
The cited lines discuss language, controls, assumptions, and page breaks in research documents. No evidence found of commands or logic that inspect the user system.

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