gokeshenzhen/
awesome-formal-verification-skill
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.
33
FredAntB/
Spec-Driven-Development
A Claude skill that keeps your AI coding tools from contradicting each other. Generates requirements.md, design.md, and tasks.md before any code is written — then creates matching config files for Claude Code, Cursor, Copilot, Windsurf, and Aider.
153
thedaviddias/
mcp-llms-txt-explorer
thedaviddias/mcp-llms-txt-explorerConnectors
MCP to explore websites with llms.txt files
77