Claude Code, Skill
axiomize
Reproducible scientific modeling that survives contact with reality. Axiomize turns a vague idea into an explicit, versioned mathematical model, validates it dimensionally and numerically, and exports an artifact someone else can re-run years from now.
Compatibility: Not stated.
Grade B
Minor issues only, no Medium or High. Worth a quick look at the findings below before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
NETWORK_NO_FIXED_HOST PERMISSION_SHELL_DECLARED
Why this grade
- NETWORK_NO_FIXED_HOST Low
Makes a network call whose host is not written as a fixed address.
examples/canvasxpress_export_example.py, line 325
emit(" fetch('01-state-trajectory.json').then(r => r.json()).then(function (cx) {") - PERMISSION_SHELL_DECLARED Note
Runs shell commands, and the manifest or description says so.
skills/axiomize/tools/report_to_latex.py, line 362
subprocess.run(["pdflatex", "--version"], stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL,
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
skills/axiomize/tools/report_to_latex.py, line 362
subprocess.run(["pdflatex", "--version"], stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL,
skills/axiomize/tools/report_to_latex.py, line 371
completed = subprocess.run(command, cwd=str(dst.parent), capture_output=True, text=True,
src/axiomize/execution/sandbox.py, line 155
proc = subprocess.run(
Show more
src/axiomize/formal/lean_adapter.py, line 47
proc = subprocess.run([*cmd, "--version"], capture_output=True, text=True, timeout=60, shell=False, check=False)
src/axiomize/formal/lean_adapter.py, line 114
proc = subprocess.run([*cmd, str(lean_file)], capture_output=True, text=True, errors="replace",
.github/scripts/advanced_family_release_smoke.py, line 35
proc = subprocess.run(
.github/scripts/cli_release_smoke.py, line 71
proc = subprocess.run(
.github/scripts/cli_release_smoke.py, line 316
proc = subprocess.Popen(
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
examples/canvasxpress_export_example.py, line 325
emit(" fetch('01-state-trajectory.json').then(r => r.json()).then(function (cx) {")
.github/scripts/check_provenance_claims.py, line 64
with urllib.request.urlopen(request, timeout=TIMEOUT) as response:
.github/scripts/cli_release_smoke.py, line 306
with urllib.request.urlopen(req, timeout=timeout) as response:
Show more
.github/scripts/general_model_release_smoke.py, line 175
with urllib.request.urlopen(request, timeout=10) as response:
.github/scripts/npm_release_contract.py, line 175
with urllib.request.urlopen(url, timeout=REGISTRY_TIMEOUT_S) as response:
docs/repro-visibility.md, line 209
fetch('01-state-trajectory.json').then(r => r.json()).then(function (cx) {
examples/canvasxpress_export_example_output.txt, line 98
fetch('01-state-trajectory.json').then(r => r.json()).then(function (cx) {
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.
Note
Hygiene check of commit 102618e4f314. requests shell access. The manifest names this permission. can reach a host that is not written as a fixed address.
Date and source
Date checked:
github.com
Commit graded: 102618e4f3145bac0c658d9e9fd97109b2424a63
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.