agent

gokeshenzhen/awesome-formal-verification-skill

Open-source, agent-agnostic RTL formal verification skill l…

Pass

Owner: gokeshenzhen Language: Python Stars: 34 Rating: 0.0

Last sync: Sep 28, 2026 GitHub: Sep 28, 2026

mcp

gokeshenzhen/TraceWeave

Open-source, evidence-driven MCP server for RTL simulation…

Fail

Owner: gokeshenzhen Language: Python Stars: 99 Rating: 0.0

Last sync: Sep 7, 2026 GitHub: Sep 7, 2026