Context7
作者：upstash
Up-to-date docs for AI agents
电脑或云端★ 64,224MIT昨天更新
安装
specmate
概览
作者提供的说明（英文原文）
BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.
PopNx MCP 的三大支柱
这三项永远不会合并成一个分数：意见、测量和人气是不同的东西。
- 用户评价i暂无评价评价功能将在后续阶段与账户功能一起开放
- 我们的基础检查i1 项中通过 1 项依据公开信息检查；尚未扫描代码
- 使用情况i尚未统计★ –
它能帮你做什么
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
- 连接方式: 在你的电脑上运行
- 传输方式: stdio
- 分类: 搜索与 AI 记忆
安装
选择你使用的 AI 应用，然后复制设置。
安装之前
- 基础检查：1 项中通过 1 项
- 在你的电脑上运行，拥有你的用户账户的权限（文件、网络、应用）。
- 注册中心没有列出需要填写的密钥。
你需要
- npm已安装 Node.js（用于 npx 命令）
你用的是哪个应用？
在上方选择你的应用。我们会记住它，下次按钮会显示“安装到 …”。
打开 Claude Desktop → Settings → Developer → Edit Config，把下面的内容粘贴到 claude_desktop_config.json
{
"mcpServers": {
"bsv-specmate": {
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}在终端中运行这条命令
claude mcp add bsv-specmate -- npx -y bsv-specmate或者自己复制设置
粘贴到项目中的 .cursor/mcp.json，或 ~/.cursor/mcp.json
{
"mcpServers": {
"bsv-specmate": {
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}浏览器会先询问是否打开应用，然后应用会显示设置并请你确认。密钥的值会留空，由你自己填写。
或者自己复制设置
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"bsv-specmate": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"bsv-specmate"
]
}
}
}浏览器会先询问是否打开应用，然后应用会显示设置并请你确认。密钥的值会留空，由你自己填写。
这个服务器在你的电脑上运行，而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。
你的选择通过 Cookie 保存在这台设备上，无需账户。
这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同，请以 README 为准。
它能做什么
它在你的电脑上运行；安装后，工具列表会显示在你的 AI 应用中。
基础检查i
我们检查的是任何人都能看到的信息；我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
- ✓ 通过
作者与仓库一致
注册名称已通过 GitHub 账户 Alele496 验证，该账户拥有此仓库
- … 尚未检查
仍在维护
我们还没有从 GitHub 读取这个仓库
- … 尚未检查
有许可证
我们还没有从 GitHub 读取这个仓库
- – 不适用
端点有响应
它在你的电脑上运行，没有互联网端点
- – 不适用
使用 OAuth 登录
在你的电脑上运行，改用本地设置
- … 尚未检查
工具描述中没有隐藏指令
它在你的电脑上运行；我们只能读取互联网端点的工具列表
与“搜索与 AI 记忆”中的其他服务器比较i
- 星标数多于此分类中其他 7275 个服务器的 0%
- 发布到注册中心的时间比此分类中其他 7275 个服务器的 30% 更新
- 基础检查结果等于或优于此分类中其他 7275 个服务器的 100%
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时，星标数才计入。
常见问题
specmate 安全吗？
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前，请先看看这个服务器要求哪些权限，并使用只具备所需权限的密钥。
它需要哪些密钥或代码？
注册中心没有列出必需的密钥，不过有些服务器会在首次使用时要求你登录。
它在我的电脑上运行还是在云端？
它在你的电脑上运行。你的 AI 应用会在需要时启动它，数据不会经过作者的服务器（除非它自己调用在线服务）。
它还在维护吗？
GitHub 仓库最后更新于–，最新版本（0.2.1）于3个月前进入注册中心。
哪些应用可以使用它？
支持 MCP 的应用，例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。
有什么可以替代它？
同一分类中有：Context7, Codebase Memory, Exa
替代选择
同一分类中其他作者的服务器，按星标数排序。
如何看卡片：★ GitHub 星标i三大支柱：评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i
Codebase Memory
作者：DeusData
Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
在你的电脑上运行★ 48,148MIT21天前更新
安装
Exa
作者：exa-labs
Connect AI agents to Exa for web search, content fetching, and multi-step research.
在云端运行★ 5,213MIT上个月更新
安装
作者的 README
打开 README
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
specmate 🤝
BSV 终于有个 mate 了——一个懂 BSV、记得住你的翻车现场、会在编译前喊你看路的编码搭子。
[安装](#安装) • [工具](#工具) • [工作流](#工作流) • [效果](#效果) • [状态](#状态) • [结构](#结构) • [文档](#文档) • [站点](https://alele496.github.io/bsv-specmate/site/)
🌟 它能做什么
AI 写 Python 很顺手。写 BSV？一编译满屏红——不是 AI 笨，是 BSV 太冷门，训练数据全是老版本。specmate 不替 Agent 写代码，它在 Agent 落笔之前先把坑指出来。
- 陷阱预测 — 你做 FIFO pipeline？上一个 Agent 在这翻了三次，我给你标出来。基于 30 个领域知识图谱节点，提前扫雷。
- 静态检查 — 19 条规则扫一遍
.bsv，方法顺序、Bool 运算符误用、SV 保留字冲突、字面量溢出。不调 bsc，秒出结果。 - 错误诊断 — 把 BSC 那满屏红丢进来，29 篇编码记忆逐一比对，告诉你根因和怎么修。不认识的新错误？自动入库记下来。
- 记仇的 code buddy — 编译报错 → capture 记一笔 → 修好 → resolve 归档。SQLite 驱动，每次命中自动 +1。同一条坑不踩两次——它真记仇。
- 代码审查 — tree-sitter 真解析 BSV 语法树，不是正则匹配。调度冲突矩阵、跨 rule 冲突、依赖图——给你画出来。
🚀 快速开始
安装
specmate 有两个发布渠道，根据你的需求选择：
GitHub Packages（推荐） — 主力发布渠道，每个版本都第一时间发布，始终最新：
npm install @Alele496/bsv-specmate@0.2.0npm — 稳定发行版，仅在经过充分验证后发布，版本更新可能滞后：
npm install -g bsv-specmate如何选择？ 追求新功能和最新陷阱知识选 GitHub Packages；在关键项目中使用、优先稳定性选 npm。两者功能完全一致，区别仅在于发布节奏。
需要 Node.js >= 18。使用 GitHub Packages 前需要先配置 npm registry，见 新手指南。
配置 MCP
在 BSV 项目根目录创建 .mcp.json：
{"mcpServers": { "bsv-specmate": { "command": "npx", "args": ["bsv-specmate"] } } }
启动 AI 客户端（Claude Code / OpenCode 等），Agent 自动发现 specmate 工具。
📡 通过 MCP Registry 发现：specmate 已注册到 MCP Registry（
Developer Tools类别）。在支持 Registry 的客户端中，可通过mcp add bsv-specmate一键安装，无需手动编写配置文件。
🎚️ 三级干预强度：
| 模式 | 行为 |
|------|------|
|
verify社恐模式 | 零推送，默默旁观。code review 定稿前再出声 |
|
develop日常模式（默认） | 编码前主动推送陷阱，该提醒的时候绝不含糊 |
|
tapeout话痨模式 | 全量守护，交付前不留死角，每个检查项都过一遍 |
验证
让 Agent 写一段 BSV 代码，specmate 会自动介入。有返回结果就说明配置成功。详细步骤和常见问题见 新手指南。
🔧 MCP 工具一览
specmate 通过 8 个 MCP 工具供 AI Agent 调用。
| 工具 | 用途 | 何时调用 |
|---|---|---|
| `specmate_scan` ⭐ | 统一入口：陷阱预测 + AST 预扫描 + 设计建议 | 拿到新任务时，编码前 |
| `specmate_check` | 19 条规则静态扫描 .bsv 文件 | 写完一段代码后，编译前 |
| `specmate_diagnose` | 传入完整 BSC 编译输出，批量诊断所有错误 | 编译结果一屏幕红 |
| `specmate_capture` | 解析 BSC 编译错误，入库新知识 | 编译报错时 |
| `specmate_resolve` | 固化修复方案，标记错误已解决 | 错误修好之后 |
| `specmate_analyze` | tree-sitter 深度解析 BSV 语法树 | 排查调度冲突、依赖问题时 |
| `specmate_diff` | 对比编译结果快照，追踪 warning 变化 | 重构后对比编译变化 |
| `specmate_guide` | 分阶段指导（pre_code / on_error / continue / decide / pattern） | 需要分步引导时 |
specmate_scan 是推荐统一入口，替代旧的多次分步调用。完整集成说明（AGENTS.md 模板、OpenCode 配置、角色提示词）见 Agent 集成手册。
📋 Agent 工作流
拿到 BSV 任务│ ├─ specmate_scan({ task: "你的任务" }) │ └→ 陷阱预测 + 设计建议 + 推荐范式 │ ├─ 写代码 │ ├─ specmate_check({ files: ["绝对路径/文件.bsv"] }) │ └→ 19 条规则快速扫描 │ ├─ bsc 编译 │ ├─ 通过 → specmate_resolve 固化经验 ✅ │ └─ 报错 → specmate_diagnose 诊断 + specmate_capture 捕获 │ └→ 修复 → 回到编译 → 通过 → resolve ✅
Agent 不知道 specmate？你不是第一个。 第一场实验里 Agent 全程 0 次调 specmate——不是工具不好，是它不知道有这个 mate。在对话里说一句"试试用
specmate_scan扫一下你的任务"就够了。
📊 效果速览
不是随口说的——我们做了五场对照实验。Agent 完成同一个 BSV 项目，唯一区别是带了 specmate 还是裸写。
第一场，Agent 连 specmate 都不知道存在，全程 0 次调用——问题不在工具，在 Agent 不认识这个 mate。第二场 Agent 开始主动调用了，但时机不对——写完代码才 scan，等于考试交卷了才看复习笔记。第三场我们拉了不认识双方的 Agent 做双盲评审——带 specmate 的方案代码质量盲审高出 16%，评审人不知道哪份是谁写的。第四场优化了模板约束，首次编译通过率显著提高。第五场聚焦审查角色——最有效的不是堆更多规则，而是给 Agent 一个审查角色，让它知道该在什么时候调哪个工具。
核心结论：specmate 的价值不是替 Agent 写代码，而是替 Agent 记住那些它学一次忘一次的 BSV 冷知识。
完整数据、实验设计和方法论分析见 [SHOWDOWN 报告](docs/SHOWDOWN.md)。
📈 当前状态
- 版本 0.2.0，通过 GitHub Packages 主力发布（
@Alele496/bsv-specmate@0.2.0），npm 频道发布经过验证的稳定版本 - 8 个 MCP 工具全部可用，CI 自动化验证
- 12 条 BSV 陷阱已验证（fixture 文件 + bsc 编译双重验证），62 条 backlog 按天推进
- 29 篇编码记忆覆盖常见 BSC 编译错误
- 30 个领域知识图谱节点，19 条静态检查规则
- pre-commit hook 拦截 + GitHub Actions CI 双保险
📂 项目结构
specmate/├── bin/ # MCP 服务器入口（stdio / HTTP） ├── src/ │ ├── tools/ # 8 个 MCP 工具实现 │ ├── db/ # SQLite 知识库持久化 │ └── config.mjs # SPECMATE_LEVEL 配置 ├── docs/ │ ├── errors/ # 29 篇编码记忆 │ └── traps/ # 已验证陷阱文档 ├── test/fixtures/ # 每条规则对应 pass.bsv + fail.bsv └── examples/ # BSV 示例代码
核心思路：MCP 工具层承接 Agent 调用 → 知识图谱做匹配 → SQLite 持久化经验。代码量不大，重在知识积累。
📖 文档
- 第一次用？ 读 新手指南 — 安装、配置、三步走完。
- 接入 Agent？ 读 Agent 集成手册 — AGENTS.md 模板、OpenCode 配置、角色提示词。
- 想了解设计？ 读 架构文档 — 设计决策、模块关系、数据流。
- 想看数据？ 读 SHOWDOWN 报告 — 五场对照实验完整设计和分析。
- 深入源码？ 读 内部总览 — 源码结构、数据库 schema、工具实现细节。
🤝 贡献
specmate 的知识来自实战踩坑。你遇到 bsc 报错了，Agent 用 specmate_diagnose 诊断 → specmate_capture 记下来 → 修好以后 specmate_resolve 固化 → 补一篇文档说清根因和修复方案。每条知识都让下一个写 BSV 的人少踩一个坑。
欢迎提 Issue 和 PR。规则和陷阱的 fixture 贡献尤其欢迎。fixture 是什么？每条检查规则配两个 .bsv 文件——pass.bsv 是通过用例（写对了不该报），fail.bsv 是失败用例（故意触发规则应该报）。新增规则时跑 node test/fixtures/run-fixtures.mjs 验证全部 fixture，不通过不能合并——这是议会定的铁律，谁来都一样。具体目录结构和示例看 test/fixtures/check/ 下面已有的规则。
🔗 相关项目
- [Kova](https://github.com/Alele496/kova) — DKE 领域知识引擎框架，specmate 是它的第一个 BSV 实例
- [bsc](https://github.com/B-Lang-org/bsc) — Bluespec 官方编译器，specmate 的 knowledge base 依赖 bsc 的编译输出来积累经验
- [bsc-contrib](https://github.com/B-Lang-org/bsc-contrib) — Bluespec 社区库和工具集，写 BSV 时常配合使用
MIT License | Alele496