MCP, MCP server
mathema
Proofs and counterexamples for Python functions, kept as records bound to the exact code they were checked against.
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.
PERMISSION_DELETE_FILES NETWORK_NO_FIXED_HOST OBFUSCATION_FILE_OVER_READ_CAP OBFUSCATION_FILE_CAP_REACHED
Why this grade
- PERMISSION_DELETE_FILES Low
Contains a call that can delete files.
mathema/acceptance.py, line 71
out = subprocess.run(["git", "config", "user.name"], - NETWORK_NO_FIXED_HOST Low
Makes a network call whose host is not written as a fixed address.
docs/modes/init.md, line 22
| `--agents-ref` | branch or tag of the skills repo to fetch (default: the branch matching your mathema minor line, such as `v0.6`, falling back to the repo's default branch); an e - OBFUSCATION_FILE_OVER_READ_CAP Note
A file was over the read cap and was not fully read.
uv.lock, line 1
version = 1 - OBFUSCATION_FILE_CAP_REACHED Note
The 400 file cap was reached before every file was read.
uv.lock, line 1
version = 1
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
mathema/acceptance.py, line 71
out = subprocess.run(["git", "config", "user.name"],
mathema/acceptance.py, line 632
os.remove(plan["path"])
mathema/auth.py, line 108
os.remove(config_path())
Show more
mathema/badges.py, line 1719
os.remove(path)
mathema/cli.py, line 1593
shutil.rmtree(tmp, ignore_errors=True)
mathema/cli.py, line 3053
out = subprocess.run(["git", "rev-parse", "--show-toplevel"],
mathema/fetch.py, line 74
own rule). Uses the same `subprocess.run` + timeout pattern as
mathema/fetch.py, line 82
r = subprocess.run(cmd, capture_output=True, text=True, timeout=timeout)
mathema/impl_coverage.py, line 439
subprocess.run([sys.executable, "-m", "coverage", *args], cwd=root,
mathema/impl_coverage.py, line 443
subprocess.run(cmd, shell=True, cwd=root,
mathema/review.py, line 28
r = subprocess.run(["git", *args], cwd=root or ".",
mathema/spec.py, line 621
out = subprocess.run(["git", "rev-parse", "HEAD"], cwd=root or ".",
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
docs/modes/init.md, line 22
| `--agents-ref` | branch or tag of the skills repo to fetch (default: the branch matching your mathema minor line, such as `v0.6`, falling back to the repo's default branch); an e
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
Note
a file was over the read cap and was not fully read. the file cap was reached before every file was read.
OBFUSCATION_FILE_OVER_READ_CAP OBFUSCATION_FILE_CAP_REACHED
uv.lock, line 1
version = 1
mathema/claim_families.py, line 1
# SPDX-License-Identifier: BUSL-1.1
mathema/conjecture.py, line 1
# SPDX-License-Identifier: BUSL-1.1
Show more
mathema/symbolic/_prove.py, line 1
# SPDX-License-Identifier: BUSL-1.1
tests/test_a_witness_against_a_proof_reports_the_proof_failed.py, line 1
# SPDX-License-Identifier: BUSL-1.1
Licence
Pass
A licence file is present (LICENSE.md).
Maintainer activity
Pass
The latest commit is within the last 365 days.
Note
Hygiene check of commit 290561e55f82. can delete files. can reach a host that is not written as a fixed address. a file was over the read cap and was not fully read. the file cap was reached before every file was read.
Date and source
Date checked:
github.com
Commit graded: 290561e55f82dd44b6a83b4ef01f6c7dd36b8711
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.