MCP, MCP server
io.github.Archerkattri/mathlas
io.github.Archerkattri/mathlas, an MCP server listed in the PlugVet directory.
Compatibility: Not stated.
Grade D
Two or more Medium findings, or a High finding. Only try it in a sandbox.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
Rescanned at commit af2f98479b85, unchanged since the check below.
INSTALL_REMOTE_SCRIPT
Why this grade
- INSTALL_REMOTE_SCRIPT High
Fetches a script from the network and runs it (a pipe to a shell, or an install hook with a URL).
mathlas/server.py, line 809
"(`curl -sSf https://elan.lean-lang.org/elan-init.sh | sh`) or set "
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.
If you think this grade is wrong, email [email protected] with the entry link and your evidence. We aim to acknowledge within two working days and decide within seven. If we confirm an error, we aim to correct it within 24 hours of confirming it. These are aims, not guarantees.
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
benchmarks/agent_bench.py, line 180
out = subprocess.run(cmd, capture_output=True, text=True, timeout=timeout,
mathlas/funsearch.py, line 243
# multiprocessing, and os.system() cannot spawn child processes.
mathlas/funsearch.py, line 248
# 7. Wall-clock timeout (subprocess.run timeout) - primary guard, catches
Show more
mathlas/funsearch.py, line 409
os.system() cannot spawn child processes.
mathlas/funsearch.py, line 433
proc = subprocess.run(
mathlas/verify_apply.py, line 232
out = subprocess.run([elan, "which", "lean"], capture_output=True,
mathlas/verify_apply.py, line 266
proc = subprocess.run([exe, tmp_path], capture_output=True, text=True,
mathlas/webaug.py, line 203
os.remove(tmp)
mathlas/retrieve/bm25.py, line 130
shutil.rmtree(tmp, ignore_errors=True)
mathlas/retrieve/bm25.py, line 153
shutil.rmtree(path, ignore_errors=True)
mathlas/retrieve/bm25.py, line 156
shutil.rmtree(tmp, ignore_errors=True)
scripts/build_arxiv_fulltext_corpus.py, line 422
result = subprocess.run(['du', '-sh', str(OUT_DIR)], capture_output=True, text=True)
Install and update
Serious
install fetches a script from the network.
INSTALL_REMOTE_SCRIPT
mathlas/server.py, line 809
"(`curl -sSf https://elan.lean-lang.org/elan-init.sh | sh`) or set "
mathlas/server.py, line 846
"(`curl -sSf https://elan.lean-lang.org/elan-init.sh | sh`) or set "
Network
Concern
can reach a host that is not written as a fixed address.
NETWORK_NO_FIXED_HOST
mathlas/formal_search.py, line 174
with urllib.request.urlopen(req, timeout=timeout_s) as resp:
scripts/backfill_abstracts.py, line 31
with urllib.request.urlopen(req, timeout=20) as resp:
scripts/fetch_arxiv_math_bulk.py, line 62
with urllib.request.urlopen(req, timeout=OAI_TIMEOUT) as resp:
Show more
scripts/fetch_arxiv_math_bulk.py, line 150
print("Starting OAI-PMH fetch (math set) ...")
scripts/fetch_proofwiki.py, line 57
with urllib.request.urlopen(req, timeout=API_TIMEOUT) as resp:
scripts/fetch_test_targets.py, line 122
with urllib.request.urlopen(req, timeout=LATEX_FETCH_TIMEOUT) as resp:
scripts/fetch_test_targets.py, line 162
with urllib.request.urlopen(req, timeout=API_FETCH_TIMEOUT) as resp:
scripts/gen_slogans_local.py, line 65
with urllib.request.urlopen(health, timeout=2) as r:
Secrets
Note
reads an environment variable.
SECRETS_ENV_READ
scripts/hf_upload_corpus.py, line 573
token = os.environ.get("HF_TOKEN") or os.environ.get("HUGGING_FACE_HUB_TOKEN")
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 af2f98479b85. can delete files. install fetches a script from the network. can reach a host that is not written as a fixed address. reads an environment variable.
Date and source
Date checked:
github.com
Commit graded: af2f98479b85ebc1c994f4d5627be575ae53d2ec
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.