Grades are a hygiene check, not a security guarantee.

Claude Code, Skill

Awesome Formal Verification Skill

Awesome Formal Verification Skill, a skill listed in the PlugVet directory.

Compatibility: Not stated.

Grade B

Minor issues only, no Medium or High. Worth a quick look at the findings below before installing.

Graded by PlugVetRubric v2

Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.

Rescanned at commit 93b3fd92873e, unchanged since the check below.

PERMISSION_SHELL_DECLARED

Why this grade

  • PERMISSION_SHELL_DECLARED Note

    Runs shell commands, and the manifest or description says so.

    benchmarks/manual/isolate.py, line 97 proc = subprocess.Popen(args, env=env, stdin=subprocess.DEVNULL, stdout=out,

Any High, or two or more Medium findings, give D. One Medium gives C. Low findings or a security Note give B. Each code names a finding behind the letter.

Grades are a hygiene check of the source at the commit shown, on the date checked, not a security audit or a guarantee. The free directory grades are automated. Before release, a PlugVet engineer reviews every paid report and any grade we hold back, including all F grades, against the source code and the evidence we quote.

What was checked

Plain notes from the hygiene checks.

  • Permissions

    Note

    requests shell access. The manifest names this permission.

    PERMISSION_SHELL_DECLARED

    benchmarks/manual/isolate.py, line 97

    proc = subprocess.Popen(args, env=env, stdin=subprocess.DEVNULL, stdout=out,

    benchmarks/manual/isolate.py, line 138

    tw_commit = subprocess.check_output(['git', '-C', str(TW), 'rev-parse', 'HEAD'], text=True).strip()

    benchmarks/manual/isolate.py, line 142

    codex_version=subprocess.check_output([str(binary), '--version'], text=True).strip(),

    Show more

    benchmarks/manual/isolate.py, line 217

    subprocess.run(['sha256sum', '--status', '-c', 'CHECKSUMS.sha256'], cwd=FROZEN / 'case', check=True)

    benchmarks/manual/isolate.py, line 325

    proc = subprocess.Popen(args, env=environment(), stdout=log, stderr=subprocess.STDOUT)

    benchmarks/manual/isolate.py, line 398

    row['exit_code'] = subprocess.call(args, env=env)

    benchmarks/manual/prepare_pilot.py, line 39

    archive = subprocess.check_output(['git', '-C', str(REPO), 'archive', '--format=tar',

    benchmarks/manual/prepare_pilot.py, line 54

    commits = [subprocess.check_output(['git', '-C', str(REPO), 'rev-parse', '--verify',

  • Install and update

    Pass

    No install-time script found, and dependencies are pinned or absent.

  • Network

    Pass

    No network call found.

  • Secrets

    Pass

    No read of a credential file or secret environment variable found.

  • Agent instructions

    Pass

    No instruction to ignore earlier instructions or to hide a step.

  • Obfuscation

    Pass

    No encoded or minified payload found.

  • Licence

    Pass

    A licence file is present (LICENSE).

  • Maintainer activity

    Pass

    The latest commit is within the last 365 days.

Get the full report on this tool, £49

Note

Hygiene check of commit 93b3fd92873e. requests shell access. The manifest names this permission.

Date and source

Date checked:

View source

github.com

Commit graded: 93b3fd92873e5b5757ac5597dd6b61986e6193d5

This link goes to the original host. PlugVet does not host or check what you download from there, and installing it is your own decision and risk.

Read how this letter is chosen