Pack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search
specmate is installed from its publisher's own source and answers where it runs, so this marketplace is not in the path of a single call. There is no address here to send one to, and a panel that pretended otherwise would be showing you an answer we made up. Install it and call it from your own client — the Installation tab has the entry for each one.
What it does
BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.
Quickstart
# 1 — add it to Claude Code
claude mcp add --scope user specmate-mcp '--' npx -y bsv-specmate
# 2 — ask your agent for something these tools do
# specmate_guide, specmate_scan, specmate_check and 8 more
specmate costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.
Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.
Where are you running it?
Every route below installs the same thing and ends at the same approval screen. This one runs on your machine: your client starts specmate as a process under your own user, with your files and your network, so the tool surface below is what it can do to your computer rather than to a server somewhere else. Its scan result is on the Security tab — read the surface before you approve it.
This is a public server: you run it yourself and this marketplace is not in the path. You need Node.js — the current LTS (24) is the safe choice; npx comes with it. Claude Code registers it in one command; --scope user makes it available in every project. The '--' is in quotes so that PowerShell passes it on.
claude mcp add --scope user specmate-mcp '--' npx -y bsv-specmateReconnect, or start a new session, and the tools appear in the model’s tool list.
One config entry your client uses to start the process locally. A local server runs with your file system and your network, which is why it is priced without metering.
11 tools, with what each one reads, writes and reaches shown before you agree — the same list on every route above. Read the tool surface.
Tool surface
What the model actually sees. Descriptions are diffed on every release — see version history.
分阶段指导。pre_code=编码前硬约束+AST扫描,on_error=按错误码查修复方案,pattern=代码骨架。注意:decide 已关闭。on_error 仅匹配标准错误码 [GPTBS]\\d{4},BSC 内部错误无法诊断。
No parameter schema on file.
【推荐入口】接收任务描述 + 可选 .bsv 文件路径。返回编译硬约束 + AST 预编译扫描(需传 file)+ 下一步建议。注意:不做主动设计指导,不接收 BSC 编译输出。
No parameter schema on file.
接收 .bsv 文件路径+可选 compile 编译。返回静态检查+可选编译诊断结果。compile=true 时先跑 static check,再 spawn bsc 编译,编译输出自动喂给 diagnose 诊断。BSC 不可用时仅返回静态检查结果。
No parameter schema on file.
接收 BSC 编译输出,提取标准错误码 [GPTBS]\\d{4} 记录到知识库。注意:仅做记录,不提供修复方案。查修复请用 specmate_diagnose 或 specmate_guide(on_error)。
No parameter schema on file.
修复编译错误后调用,记录根因和方案并关联最近的 capture。注意:仅做经验固化,不提供修复建议。需先有 capture 记录。
No parameter schema on file.
纯代码结构审查(AST):分析调度冲突、依赖图、调用图、寄存器追踪。⚠️ 不处理编译输出——编译诊断请用 specmate_diagnose。不支持 BSC 内部错误(如 scanLinePosDirective),method-rule 调度冲突仅能识别不能修复,当前不检测 RAW 冲突。
No parameter schema on file.
追踪编译迭代中 warning 变化。snapshot=存储快照,diff=对比最近两次(新增/消除/持续)。注意:需 2+ 次 snapshot 才能 diff,不做根因分析。
No parameter schema on file.
【编译失败首选】接收 BSC 编译完整输出,批量解析所有错误码,逐一查知识库(现象/根因/修复方案),标记可自动修复 vs 需手动判断,自动记录到知识库。注意:仅解析标准格式 [GPTBS]\\d{4},BSC 内部错误标记为 UNKNOWN 但无法提供方案。
No parameter schema on file.
跨 session 高级分析报告:错误趋势、文件热点、知识库健康度。集成 specmate_scan/specmate_diagnose 的统计数据,提供宏观视角。
No parameter schema on file.
No parameter schema on file.
No parameter schema on file.
- Every tool, no call limit
- No card, and mcprush charges nothing for it
- Source published under MIT
- Runs on your machine — nothing of it reaches our gateway
- Nothing to cap, because mcprush bills nothing
What counts against your monthly calls
| Tool | Unit | Calls used | Out of the allowance |
|---|
Nothing here is billable: mcprush charges nothing to install specmate or to call it, at any volume.
Two independent axes, because powerful and malicious are different questions. The grade is threat only. The capability level is blast radius, and it is never a penalty on the grade — it is priced as one subtract-only term in the score, where you can see it.
| Term | Level | What it prices | Points |
|---|---|---|---|
| capability-exposure | high | capability blast radius (high) — client exposure if the model is manipulated | −6 |
| verification-discount | repo | publisher verification (public source) — no provenance, but the source is public and inspectable | −1 |
| coverage-honesty | source | inspection depth (source) — how much of the target the scan could see | −0 |
What the scan could actually read
A grade is only as meaningful as its coverage, so the scanner publishes its own depth before it publishes its result.
Tools were statically extracted from the published source (11 recovered), not enumerated from a running server. Tool-poisoning, Unicode-smuggling, capability and toxic-flow analysis ran on this inferred surface, but a mis-parsed registration could be missed or mis-attributed, so tool-derived findings are capped below “confirmed”. To grade the real runtime surface, scan the running server: --command "npx -y <package>".
Capability — what it could do if the model were manipulated
Tags derived from each tool’s schema and the implementation, not from what the tool calls itself. high is the level these add up to.
| Tool | Capability tags | Why the tag was assigned |
|---|---|---|
| specmate_guide | no tags | |
| specmate_scan | no tags | |
| specmate_check | no tags | |
| specmate_capture | no tags | |
| specmate_resolve | no tags | |
| specmate_analyze | no tags | |
| specmate_diff | no tags | |
| specmate_diagnose | no tags | |
| specmate_report | no tags | |
| specmate_step | no tags | |
| specmate_recall | no tags |
Toxic-flow graph
The lethal trifecta, checked as a graph rather than as a checklist: untrusted input, a sensitive source and an external sink have to meet before there is a path worth worrying about.
The public result for this release does not print the flow graph, so there is nothing to show here. That is not the same as "no paths were found": what the scan did read is above, under coverage.
Supply chain and provenance
This is the first scan of this surface here, so there is nothing yet to compare it against.
Every result on this tab comes from one deterministic pass over the published package — offline, rule by rule, and auditable line by line above. Same methodology version, same bytes, same score.
Release history
Always latest — the install command names no version, so it installs the newest release when it runs; the current release on file is 0.2.1. Pin a release below and the command asks for exactly that one.
No release note was published with this version.
One review per account, from a signed-in account that does not publish this listing. Nothing else is asked — you can say what you think before you install it. Publishers can reply once per review, and a review can be edited or deleted by whoever wrote it.
Any signed-in account that does not publish specmate can review it, once — before installing it or after. A review from an account that has installed it is marked as one.
Nobody has reviewed this listing. The rating on the card is the mean of the reviews written here and nothing else, so there is no rating until somebody writes the first — which takes a signed-in account that does not publish it, and nothing else.