프로토타입 · 미리 보기: 공식 레지스트리의 모든 서버를 담고 있으며 30분마다 동기화해요. 리뷰와 계정 기능은 다음 단계에서 열려요.
PopNx MCPAI를 쓰는 사람을 위한 MCP 서버 · 쉬운 말로 설명해요
초보자 모드 켜기
색상시스템 설정라이트다크
언어ไทยEnglish中文日本語한국어EspañolDeutsch
☰ 메뉴설정
초보자 모드 켜기
색상시스템 설정라이트다크
언어ไทยEnglish中文日本語한국어EspañolDeutsch

specmate

제작자: Alele496버전 0.2.1i★ –i내 컴퓨터에서 실행
레지스트리 이름io.github.Alele496/bsv-specmate

설치

개요

제작자가 쓴 설명(영어 원문)

BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.

PopNx MCP의 세 기둥

이 세 가지는 절대 하나의 점수로 합치지 않아요. 의견, 측정, 인기는 서로 다른 것이니까요.

할 수 있는 일

이 서버는 아직 쉬운 말로 된 요약을 쓰지 못했어요. 아래는 레지스트리에서 읽어 온 사실이에요.

  • 연결 방식: 내 컴퓨터에서 실행
  • 전송 방식: stdio
  • 카테고리: 검색 및 AI 기억

설치

쓰고 있는 AI 앱을 고른 다음 설정을 복사하세요.

설치하기 전에

  • 기본 점검: 1개 중 1개 통과
  • 내 컴퓨터에서 내 사용자 계정의 권한(파일, 네트워크, 앱)으로 실행돼요.
  • 레지스트리에 입력해야 할 키가 나와 있지 않아요.

필요한 것

  • npmNode.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에서 열기

또는 설정을 직접 복사하기

프로젝트의 .cursor/mcp.json 또는 ~/.cursor/mcp.json에 붙여 넣으세요

{
  "mcpServers": {
    "bsv-specmate": {
      "command": "npx",
      "args": [
        "-y",
        "bsv-specmate"
      ]
    }
  }
}

브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.

VS Code에서 열기

또는 설정을 직접 복사하기

프로젝트의 .vscode/mcp.json에 붙여 넣으세요

{
  "servers": {
    "bsv-specmate": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "bsv-specmate"
      ]
    }
  }
}

브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.

이 서버는 내 컴퓨터에서 실행되는데, ChatGPT는 인터넷에 있는 서버에만 연결할 수 있어요. 다른 앱을 고르세요.

선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.

이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.

할 수 있는 일

내 컴퓨터에서 실행돼요. 설치하면 AI 앱에 도구 목록이 나타나요.

기본 점검i

누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 7일 점검

  • ✓ 통과

    제작자와 저장소 일치

    레지스트리 이름이 GitHub 계정 Alele496 기준으로 확인되었고, 이 계정이 저장소를 소유하고 있어요

  • … 아직 점검 안 함

    계속 관리되고 있음

    아직 GitHub에서 이 저장소를 읽어 오지 않았어요

  • … 아직 점검 안 함

    라이선스 있음

    아직 GitHub에서 이 저장소를 읽어 오지 않았어요

  • – 해당 없음

    엔드포인트 응답

    내 컴퓨터에서 실행되는 서버라 인터넷 엔드포인트가 없어요

  • – 해당 없음

    OAuth로 로그인

    내 컴퓨터에서 실행되며, 대신 로컬 설정을 사용해요

  • … 아직 점검 안 함

    도구 설명에 숨겨진 지시 없음

    내 컴퓨터에서 실행돼요. 도구 목록은 인터넷 엔드포인트가 있는 서버에서만 읽을 수 있어요

검색 및 AI 기억 카테고리의 다른 서버와 비교i

  • 이 카테고리의 다른 서버 7258개 중 0%보다 스타가 많아요
  • 이 카테고리의 다른 서버 7258개 중 30%보다 최근에 레지스트리에 공개됐어요
  • 기본 점검 결과가 이 카테고리의 다른 서버 7258개 중 100%와 같거나 더 좋아요

레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.

자주 묻는 질문

specmate, 안전한가요?

해당하는 기본 점검 1개 중 1개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.

어떤 키나 코드가 필요한가요?

레지스트리에 필수 키가 나와 있지 않아요. 다만 처음 쓸 때 로그인을 요구하는 서버도 있어요.

내 컴퓨터에서 실행되나요, 클라우드에서 실행되나요?

내 컴퓨터에서 실행돼요. AI 앱이 필요할 때 실행하고, 데이터는 제작자의 서버를 거치지 않아요(서버 자체가 온라인 서비스를 호출하는 경우는 제외).

아직 관리되고 있나요?

GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(0.2.1)은 3개월 전 레지스트리에 올라왔어요.

어떤 앱에서 쓸 수 있나요?

Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. 내 컴퓨터에 Node.js도 있어야 해요.

대신 쓸 수 있는 건 뭐가 있나요?

같은 카테고리에는: Context7, Codebase Memory, Exa

대안

같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.

카드 보는 법:★ GitHub 스타i세 기둥: 리뷰 · 점검 · 사용 정도i업데이트 = 최신 버전을 레지스트리에 공개한 날i

Context7

제작자: upstash

Up-to-date docs for AI agents

컴퓨터 또는 클라우드★ 64,224MIT오늘 업데이트
설치

Codebase Memory

제작자: DeusData

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

내 컴퓨터에서 실행★ 48,148MIT20일 전 업데이트
설치

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.0

npm — 稳定发行版，仅在经过充分验证后发布，版本更新可能滞后：

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

PopNx에게 묻기