Versioned security assessment

Report ID: SA-C579EFD0

7/5/2026, 12:00:35 PM

generating-sorbet-inline security assessment v7

Skill Security Certification Report

Audit History
Audit model: codex Historical report
Skill name
generating-sorbet-inline
Version
v7
Maintainer
DmitryPogrebnoy
Source
github.com/DmitryPogrebnoy/ruby-agent-skills/tree/main/plugins/ruby-type-signature-skills/skills/generating-sorbet-inline
Coverage
67 Files scanned · 5,038 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.

Most static findings are false positives caused by Markdown backticks, Sorbet sig syntax, documentation URLs, Ruby Hash#fetch, and bundled reference examples. No prompt injection or malicious exfiltration intent was found. The main residual risk is the instruction to run Sorbet validation commands in the user project.

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

67 Files scanned · 5,038 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 25 evidence locations

Filesystem access

May read or write local files.

Observed in 6 evidence locations

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

Risk findings

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

Confirmed security concerns (1)

RISK-001 Medium
SKILL.md:135-144
Validation Command Execution Requires Trust
SKILL.md instructs the agent to run srb tc or bundle exec srb tc to validate signatures. These commands execute tooling from the user Ruby environment and should require explicit approval in untrusted projects.
The validation section clearly names shell commands. The intent is legitimate type checking, but it still asks the agent to execute project-local tooling.

Remediation

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

  1. FIX-001
    Medium
    Validation commands are written as a required step.
    Make srb tc and bundle exec srb tc opt-in, and instruct the agent to ask before running project commands.
  2. FIX-002
    Low
    Bundled Packwerk reference code triggers many static analyzer alerts.
    Label reference/sorbet_examples as non-executable examples or reduce it to minimal signature snippets.

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.

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