⚡️ A curated library of Agent Skills focused on Jetpack Compose performance.
502
formulahendry/
mcp-server-spec-driven-development
Spec-Driven Development MCP Server, not just Vibe Coding
437
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