v0.1.1 - 首个公开版本
新功能
- 8 个 MCP 工具全部可用(scan / check / diagnose / capture / resolve / analyze / diff / guide)
- specmate_diagnose:BSC 编译日志全量批量诊断(Phase 3)
- 统一陷阱知识基(TRAPS):12 条已验证陷阱 + 62 条 backlog
知识库
- 29 篇编码记忆覆盖常见 BSC 编译错误
- 19 条静态检查规则(11 always-on + 8 full-scan)
- 30 个 BSV 领域知识图谱节点
CI/CD
- pre-commit hook + GitHub Actions 双保险
- 每日知识库验证 pipeline
文档
- 面向公开受众的全新 README(中英文双版)
- 新手指南、Agent 集成手册、架构文档、实验报告