Search
Model Context Protocol · BLANK2077/xverif
2 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Xverif 用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 | BLANK2077/ | 108 | — | ~931 | Automated safety check: Pass | MIT | yesterday |
| 2 | 用于 xverif 的安装配置、MCP direct/LSF backend、ssh 远端 MCP（mcpssh）、 SDK-free LSF CLI、UDS/TCP/file transport、session tombstone/gc、timeout、 环境变量、license 和 server 启动排障。普通波形、coverage、bit 或协议查询使用 xverif。 | BLANK2077/ | 108 | — | ~428 | Automated safety check: Pass | MIT | yesterday |
