MCP, MCP server
specmate
specmate, an MCP server listed in the PlugVet directory.
Compatibility: Not stated.
Grade C
One Medium finding. Read the findings before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
Rescanned at commit 34ad08bd9b11, unchanged since the check below.
INSTALL_LIFECYCLE_HOOK
Why this grade
- INSTALL_LIFECYCLE_HOOK Medium
A package install hook (preinstall, install, postinstall or prepare) runs a script.
package.json, line 53
prepare
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
docs/specmate-architecture.md, line 178
| **BSC 运行** | `src/compile/bsc-runner.mjs` | 🟢 Q3 新增 | `child_process.spawn`，120s 超时，输出截断 |
Install and update
Concern
runs a script at install time.
INSTALL_LIFECYCLE_HOOK
package.json, line 53
prepare
Network
Concern
can reach a host that is not written as a fixed address.
NETWORK_NO_FIXED_HOST
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUBypass.bsv, line 249
rule fetch (started);
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUBypassPreFIFO.bsv, line 266
rule fetch (started);
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUQ1.bsv, line 215
rule fetch (started);
Show more
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUQ1sol.bsv, line 216
rule fetch (started);
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUQ2.bsv, line 260
rule fetch (started);
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUQ2sol.bsv, line 249
rule fetch (started);
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUQ3.bsv, line 269
rule fetch (started);
examples/bsv/bsc.bsv_examples/cpu/FiveStageCPUQ3sol.bsv, line 266
rule fetch (started);
Secrets
Concern
reads a credential or environment file.
SECRETS_PATH_UNCONFIRMED
.gitignore, line 1
node_modules/
docs/site/index.html, line 487
.env-note{
Agent instructions
Pass
No instruction to ignore earlier instructions or to hide a step.
Obfuscation
Concern
contains an encoded blob in a file that should be readable.
OBFUSCATION_ENCODED_BLOB
data/testsuite-errors.json, line 1
{
examples/bs/bsc.evaluator/primtcons/TestTMul_VectorReg.bs, line 1
package TestTMul_VectorReg where
project-memory.md, line 373
| 领域知识图谱节点 | 30 个 | fifo/pipeline/clock/reset/axi/bram/fsm/bvi/spi/crc/uart/struct/union/attribute/interface/rule/method/types/vector/schedule/regfile/arbiter/serialize/interrupt/d
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 34ad08bd9b11. requests shell access. The manifest names this permission. runs a script at install time. can reach a host that is not written as a fixed address. reads a credential or environment file. contains an encoded blob in a file that should be readable.
Date and source
Date checked:
github.com
Commit graded: 34ad08bd9b114274b02aff2d7f8e152599e7b7da
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.