Grades are a hygiene check, not a security guarantee.

Claude Code, Skill

Adamant Skills

Skills for coding agents working on Adamant embedded flight software: 26 skills, about 26K lines, each pattern checked by compiling against a real GNAT/GNATprove toolchain.

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.

NETWORK_NO_FIXED_HOST SECRETS_PATH_DOTENV PERMISSION_SHELL_DECLARED

Why this grade

  • NETWORK_NO_FIXED_HOST Low

    Makes a network call whose host is not written as a fixed address.

    adamant-cosmos-integration/SKILL.md, line 766 curl -s -X POST -H "Authorization: openc3service" -H "Content-Type: application/json" \

  • SECRETS_PATH_DOTENV Low

    Mentions a .env file.

    adamant-cosmos-integration/SKILL.md, line 470 4. **Check .env / demo configuration:**

  • PERMISSION_SHELL_DECLARED Note

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

    adamant-debugging/scripts/symbolize_traceback.py, line 69 out = subprocess.run(

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

    adamant-debugging/scripts/symbolize_traceback.py, line 69

    out = subprocess.run(

  • Install and update

    Pass

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

  • Network

    Concern

    can reach a host that is not written as a fixed address.

    NETWORK_NO_FIXED_HOST

    adamant-cosmos-integration/SKILL.md, line 766

    curl -s -X POST -H "Authorization: openc3service" -H "Content-Type: application/json" \

    adamant-cosmos-integration/SKILL.md, line 771

    RUN_ID=$(curl -s -X POST -H "Authorization: openc3service" \

    adamant-cosmos-integration/SKILL.md, line 777

    curl -s -H "Authorization: openc3service" \

    Show more

    adamant-cosmos-integration/SKILL.md, line 805

    curl -s -X POST -H "Authorization: openc3service" -H "Content-Type: application/json" \

    adamant-cosmos-integration/SKILL.md, line 812

    RUN_ID=$(curl -s -X POST -H "Authorization: openc3service" \

    adamant-cosmos-integration/SKILL.md, line 819

    curl -s -H "Authorization: openc3service" \

    adamant-cosmos-integration/SKILL.md, line 914

    curl -s -H "Authorization: openc3service" -H "Content-Type: application/json" \

    adamant-cosmos-integration/SKILL.md, line 920

    curl -s -H "Authorization: openc3service" -H "Content-Type: application/json" \

    adamant-cosmos-testing/SKILL.md, line 562

    TOKEN=$(curl -s http://localhost:2900/auth/token -d '{"scope":"DEFAULT"}' | jq -r .token)

    adamant-cosmos-testing/SKILL.md, line 563

    curl http://localhost:2900/script-api/running-script \

  • Secrets

    Concern

    reads a credential or environment file.

    SECRETS_PATH_DOTENV

    adamant-cosmos-integration/SKILL.md, line 470

    4. **Check .env / demo configuration:**

    adamant-cosmos-integration/SKILL.md, line 472

    - Check `cosmos-project/.env` for `OPENC3_DEMO` or similar flags

    adamant-skill-campaign/SKILL.md, line 264

    `clean -fdx` also deletes git-ignored essentials (e.g. `docker/.env`, which carries the

  • 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 fe7144610eb9. requests shell access. The manifest names this permission. can reach a host that is not written as a fixed address. reads a credential or environment file.

Date and source

Date checked:

View source

github.com

Commit graded: fe7144610eb96a17219e813300adb1f720a0a091

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