Loading the registry…
A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP.
We found this by crawling public sources and nobody has attested to it. That is how most of the registry gets here, and it is not a mark against the artifact — it only means no authenticated act of publication is on record. An artifact can be the vendor's own and still appear here.
5 critical findings reported by cisco-skill-scanner, 4 of them in the installed artifact. The composite score alone does not reflect this — read the per-scanner reports below.
This artifact ships from 2 sources and their verdicts differ. The worst is github (Flagged). Installing from a cleaner source does not mean the others are safe — check the source you actually install from.
github: https://github.com/Archerkattri/mathlas, 194 findings
Choose your runtime: the CLI writes the mcpServers config entry for that target.
nerlo install --target claude-code -- mathlas-mcp
Install respects the composite badge: Clean proceeds, Caution prompts for confirmation, and Flagged is refused. Write operations require an API token.
5 of 11 scanners examined this package. The rest do not apply to it — language, ecosystem and packaging decide which analyzers can say anything, and a scanner that cannot examine an artifact reports nothing rather than passing it.
v2.0.11
38 findings · 12.2s
v0.3.74
4 findings · 12.6s
v0.1.0
1 finding · 5.6s
v0.1.0
1 finding · 5.6s
v0.1.0
0 findings · 12.9s
v1.4.0
None of the entry points this scanner reads were found in this artifact. What each scanner covers
0 findings · 0.2s
vv0.3.2
No Go packages were found in this artifact. What each scanner covers
0 findings · 0.1s
No report in this scan: govulncheck, osv-scanner, trivy, trivy_image.
1 scan on record. Every scan's full results are retained immutably for 24 months.
| Completed | Composite | Change | Scanners | Status |
|---|---|---|---|---|
| Aug 21, 2026 | Scan Halted | — | agentshield ·n/a: not applicablecisco-skill-scanner: completeagent-audit-kit: completenerlo-behavioral: completenerlo-install-instruction: completecapslock ·n/a: not applicablenerlo-multi-source: complete | rejected |
Findings in files this artifact installs stand as reported; a model re-read the rest and said which ones it believes are false positives. This is a second opinion published beside the evidence, not a correction to it: the per-scanner reports above are unchanged, every dismissed finding is still listed there at its original severity, and the score and the Flagged badge are computed from those raw severities alone. Nothing below moved them.
Out of 44 findings across every scanner that examined this package. 1 of 5 findings rated critical by their scanner was among the dismissals.
Two keys had to turn. The model had to name a reason from a fixed list of six, and a deterministic check of ours — over which files this artifact actually installs — had to independently agree. Anything it could not corroborate is in “not reviewed” above, at full severity.
10 Documentation or example — The match is in documentation or sample code, confirmed by our own check to be outside the installed artifact.
Rules: COMPOUND_FETCH_EXECUTE, PIPELINE_TAINT_FLOW, opt.nerlo-rules.nerlo-install-pipe-to-shell and 3 more · Files: /repo/docs/methods.md, /repo/docs/REGISTRY_PUBLISH.md, /repo/docs/SKILL.md · reported by cisco-skill-scanner, nerlo-install-instruction
1 Test or fixture file — The match is in a test or fixture. Our own check confirmed the file is not part of what gets installed.
Rules: RESOURCE_ABUSE_INFINITE_LOOP · Files: /repo/tests/test_airtight.py · reported by cisco-skill-scanner
These findings are in files this artifact installs and are not placeholder values. No false-positive basis can be corroborated for such a finding, so this review never dismisses one; they were not sent to the model and stand at their scanner's severity.
15 DATA_EXFIL_NETWORK_REQUESTS
Files: /repo/mathlas/formal_search.py, /repo/scripts/backfill_abstracts.py, /repo/scripts/fetch_arxiv_math_bulk.py and 3 more · reported by cisco-skill-scanner
4 COMMAND_INJECTION_EVAL
Files: /repo/mathlas/ramanujan.py, /repo/mathlas/retrieve/rerank.py · reported by cisco-skill-scanner
2 COMMAND_INJECTION_SHELL_TRUE
Files: /repo/mathlas/funsearch.py · reported by cisco-skill-scanner
1 AAK-DNS-REBIND-002
Files: pyproject.toml · reported by agent-audit-kit
1 AAK-MCP-SDK-CVE-2026-52869-001
Files: pyproject.toml · reported by agent-audit-kit
1 AAK-SEC-MD-001
Files:
Critical command injection and secret exfiltration risks
The artifact contains critical command injection vulnerabilities in `/repo/mathlas/ramanujan.py` and `/repo/mathlas/retrieve/rerank.py`, enabling shell execution. High severity command injection is also present in `/repo/mathlas/funsearch.py`. Additionally, there is a high-risk finding for network egress of secrets from `/repo/scripts/gen_slogans_local.py`. Other high severity findings include potential DNS rebinding, an SDK vulnerability, and resource abuse.
Concern level assessed by the review: Critical. This is the review's scale, not the registry badge.
Reviewed by gemini-2.5-flash. The model sees the findings, not your code, and cannot change a score.
1 AAK-SUPPLY-004
Files: pyproject.toml · reported by agent-audit-kit
1 DATA_EXFIL_SOCKET_CONNECT
Files: /repo/benchmarks/tools_bench.py · reported by cisco-skill-scanner
1 EXCESSIVE_FILE_COUNT
Files: /repo/. · reported by cisco-skill-scanner
1 MANIFEST_MISSING_LICENSE
Files: /repo/SKILL.md · reported by cisco-skill-scanner
1 opt.nerlo-rules.nerlo-py-secret-to-network-egress
Files: /repo/scripts/gen_slogans_local.py · reported by nerlo-behavioral
1 PIPELINE_TAINT_FLOW
Files: /repo/mathlas/server.py · reported by cisco-skill-scanner
1 RESOURCE_ABUSE_INFINITE_LOOP
Files: /repo/benchmarks/tools_bench.py · reported by cisco-skill-scanner
1 SOCIAL_ENG_VAGUE_DESCRIPTION
Files: /repo/SKILL.md · reported by cisco-skill-scanner
1 TOOL_ABUSE_UNDECLARED_NETWORK
Files: /repo/repo/CHANGELOG.md · reported by cisco-skill-scanner