MCP, MCP server
Sagemath Mcp
Sagemath Mcp, an MCP server 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.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
Rescanned at commit ac54aad0e9e6, unchanged since the check below.
PERMISSION_DELETE_FILES NETWORK_UNNAMED_HOST SECRETS_PATH_UNCONFIRMED INSTALL_DOCUMENTED_INSTALLER OBFUSCATION_FILE_OVER_READ_CAP
Why this grade
- PERMISSION_DELETE_FILES Low
Contains a call that can delete files.
scripts/build_release.py, line 15
proc = subprocess.run(cmd, cwd=PROJECT_ROOT, capture_output=True, text=True) - NETWORK_UNNAMED_HOST Low
Calls a fixed host that the description does not name.
scripts/run_ci_simulation.sh, line 31
curl -sSL "https://get.helm.sh/helm-${HELM_VERSION}-linux-amd64.tar.gz" | tar -xz - SECRETS_PATH_UNCONFIRMED Low
The Secrets check reports a credential or environment file, but no quoted line shows a recognisable path.
.gitignore, line 142
# Environments - INSTALL_DOCUMENTED_INSTALLER Note
Documentation shows an installer that pipes a download into a shell.
INSTALLATION.md, line 112
curl -LsSf https://astral.sh/uv/install.sh | sh - OBFUSCATION_FILE_OVER_READ_CAP Note
A file was over the read cap and was not fully read.
REVIEW_ACTIONS.md, line 1
# Review actions - 2026-08-13
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
Concern
can delete files.
PERMISSION_DELETE_FILES
scripts/build_release.py, line 15
proc = subprocess.run(cmd, cwd=PROJECT_ROOT, capture_output=True, text=True)
scripts/build_release.py, line 33
subprocess.run(cmd, check=True, text=True, capture_output=True)
scripts/bump_version.py, line 267
subprocess.run(
Show more
scripts/run_all_tests.py, line 11
return subprocess.call(cmd)
scripts/run_mutation_tests.py, line 37
return subprocess.run(args, check=True, capture_output=True, text=True).stdout
scripts/run_mutation_tests.py, line 70
procs: list[subprocess.Popen] = []
scripts/run_mutation_tests.py, line 83
subprocess.Popen(
scripts/run_mutation_tests.py, line 102
subprocess.run(["cosmic-ray", "exec", str(http_cfg), SESSION], check=True)
scripts/run_mutation_tests.py, line 111
shutil.rmtree(tmp, ignore_errors=True)
scripts/run_mutation_tests.py, line 230
pathlib.Path(SESSION).unlink(missing_ok=True)
Install and update
Note
The docs document an installer that pipes a download into a shell.
INSTALL_DOCUMENTED_INSTALLER
INSTALLATION.md, line 112
curl -LsSf https://astral.sh/uv/install.sh | sh
USAGE.md, line 5
server (`curl -LsSf https://astral.sh/uv/install.sh | sh`); `uvx` needs no
Network
Concern
can reach get.helm.sh. The description does not name that host.
NETWORK_UNNAMED_HOST
scripts/run_ci_simulation.sh, line 31
curl -sSL "https://get.helm.sh/helm-${HELM_VERSION}-linux-amd64.tar.gz" | tar -xz
Secrets
Concern
reads a credential or environment file.
SECRETS_PATH_UNCONFIRMED
.gitignore, line 142
# Environments
Agent instructions
Pass
No instruction to ignore earlier instructions or to hide a step.
Obfuscation
Note
a file was over the read cap and was not fully read.
OBFUSCATION_FILE_OVER_READ_CAP
REVIEW_ACTIONS.md, line 1
# Review actions - 2026-08-13
requirements-passagemath.txt, line 1
# This file was autogenerated by uv via the following command:
uv.lock, line 1
version = 1
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 ac54aad0e9e6. can delete files. The docs document an installer that pipes a download into a shell. can reach get.helm.sh. The description does not name that host. reads a credential or environment file. a file was over the read cap and was not fully read.
Date and source
Date checked:
github.com
Commit graded: ac54aad0e9e64eccefdfec8466ec05d235cedd6e
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.