Sandbox

2 repos for “orm” · Cursor · DocsClear

Sort

formulahendry/

mcp-server-spec-driven-development

formulahendry/mcp-server-spec-driven-developmentConnectors

Spec-Driven Development MCP Server, not just Vibe Coding

437

gokeshenzhen/

awesome-formal-verification-skill

gokeshenzhen/awesome-formal-verification-skillSkills

Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.