# gokeshenzhen

> Open-source publisher. Listings imported from github.com/gokeshenzhen — credited to the original author with their license.

- **Listings:** 3
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/gokeshenzhen
- **Website:** https://github.com/gokeshenzhen

## Published listings

- [Formal Verification](https://agentstack.voostack.com/l/skill-gokeshenzhen-awesome-formal-verification-skill-claude-code) — Skill · Free · security-reviewed — `agentstack add skill-gokeshenzhen-awesome-formal-verification-skill-claude-code`
  >
- [TraceWeave](https://agentstack.voostack.com/l/mcp-gokeshenzhen-traceweave) — MCP server · Free · security-reviewed — `agentstack add mcp-gokeshenzhen-traceweave`
  简洁的测试平台日志，波形(FSDB/VCD)，根因分析MCP Server. A Simple and Universal MCP Server to Debug Testbench Simulation Failures Via Log Parsing And Waveform Analysis (FSDB/VCD)
- [Gen Tb](https://agentstack.voostack.com/l/skill-gokeshenzhen-gen-tb-skill-gen-tb-skill) — Skill · Free · security-reviewed — `agentstack add skill-gokeshenzhen-gen-tb-skill-gen-tb-skill`
  Generate a complete UVM testbench scaffold for a single IP from its spec documents (docx/pdf/md) and register table (xlsx/csv/md/IP-XACT). Use whenever the user asks to "generate a UVM tb", "build a verification environment", "scaffold a testbench", "create a UVC", "set up DV for this IP", or anything equivalent in Chinese ("帮我生成验证环境", "搭一个 tb", "做 UVM 环境", "做这个 IP 的验证"). Also trigger when the us…

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.