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
cbcoutinho/
nextcloud-mcp-server
cbcoutinho/nextcloud-mcp-serverConnectors
Nextcloud MCP Server
348
xuliang2024/
cutcli-cookbook
xuliang2024/cutcli-cookbookTutorials & Guides
Cookbook, JSON templates, AI prompts and docs for cutcli — the CapCut / Jianying (剪映) draft CLI. Generate editable video drafts from code, Cursor, Claude Code or any MCP agent.
193
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