Kova 框架 · 首个 DKE 实例

specmate

定位

specmate 是什么——以及它不是什么

噪声诅咒：BSV 硬件设计中，许多静态检查工具的误报率居高不下。每一次误报都在消耗开发者的信任——就像"狼来了"。specmate 选择了完全不同的路线：用轻量正则 + tree-sitter 快速筛查可疑模式，但永远把最终裁决权交给 BSC 编译器。不做 BSC 已经在做的事，只做 BSC 不做的。

活跃能力

当前能力一览

8 个 MCP 工具组成完整闭环，覆盖从编码前扫描到编译后诊断的全周期。

MCP 工具

知识条目

陷阱覆盖

自动化测试

工具	阶段	状态	说明

知识积累闭环

不更新也能持续成长

只要有人在用 specmate 写 BSV，知识就在持续增长——代码停更，经验不停。

⚠

Capture 编译报错→自动入库
dedup: repeat_count+1

→

🔍

Diagnose 查知识库匹配方案
相似度匹配未知码

→

🎯

Resolve 修复→固化根因+方案
errors 表 +1 篇

→

💪

下次命中 同 code→直接返回方案
count 自动累积

编码陷阱

精选 BSV 编码陷阱

这些是 BSV 编译器不会报错、但会导致硬件行为异常的隐蔽问题。

运行模式

三种模式，适配不同场景

通过环境变量 SPECMATE_LEVEL 控制 specmate 的干预程度。

路线图

已经完成的 · 正在规划的

开始使用