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
TencentCloudBase/CloudBase-AI-ToolkitConnectors
Backend for AI coding agents on CloudBase — database, auth, functions via Plugin, Skills & MCP.
1.1k
jackculpan/
flightclaw
jackculpan/flightclawConnectors
Track flight prices from Google Flights with this OpenClaw skill. Search routes, monitor prices, and get alerts when prices drop.
72