developer tools

Formal verification with Lean 4, Coq, and Z3 SMT solver

Automated form generation from roadflow.rf_form with similarity-based copying. Use when Codex needs: (1) Generate HTML form templates based ...

Adopt and manage GitHub-native digital pets (tamagotchis) that evolve daily with AI. Use when an agent wants to adopt a pet (monkey, cat, do...

Scan 1,000 GitHub forks per run. Surface the gold, skip the clones — fully automated.

Provides functionality to interact with SpreadJS tables in the web applications built by Forguncy (aka 活字格), specifically for extracting ...

Interact with Forgejo using the `tea` CLI. Use `tea issue`, `tea pr`, `tea actions`, and `tea api` for issues, PRs, Actions, and advanced qu...

Cross-chain swap routing via THORChain. Get quotes and build swap transactions across 44+ assets (BTC, ETH, RUNE, AVAX, USDC and more). Non-...

Football (soccer) data across 13 leagues — standings, schedules, match stats, xG, transfers, player profiles. Zero config, no API keys. Cov...

Order food from foodpanda.ph using the foodpanda-cli command-line tool. Use when the user wants to search restaurants, browse menus, build a...

Font pairing and typography helper for designers and developers. Use when you need fontpick.

Work with system fonts. Use when listing, searching, previewing, getting metadata, finding pairings, or installing font files.

⚠️ DEPRECATED — use fomo-research instead. Install: npx clawhub install fomo-research

Documents Followin OpenAPI endpoints for agent integration. Use when calling feed APIs, channel feeds, trending, category feeds, or integrat...

Track follower growth, detect unfollows, and analyze engagement trends. Use when monitoring counts, spotting changes, or reviewing audience ...

🚀 Agent 脑雾清除神器！让 AI 保持巅峰状态的神奇技能。 帮助 Agent 定期清除思维混乱，恢复清晰思考，就像给大脑做了一次深度 SPA！ 适用于：(1) 长时间工作后...

Fly.io integration. Manage Organizations. Use when the user wants to interact with Fly.io data.

Fly.io edge deployment platform — manage apps, machines, volumes, secrets, and certificates via the Fly.io Machines API. Deploy containers ...

当 ClawHub CLI 速率限制或安装失败时，通过多种备用方式安装技能：1) clawhub.ai 下载 zip；2) GitHub 搜索并克隆；3) 手动流程指导。...

Deploy and manage Fly.io apps via CLI - apps, machines, volumes, secrets, certificates. Use when user mentions 'fly', 'flyctl', 'fly.io', or...

An advanced AI agent that acts as a Senior Brand Strategist. It automates project setup, applies elite market methodologies (Archetypes, Sto...

Flutter GetX 三层架构规范。core + shared + modules 纵向分层，业务模块 GetX 化。适用于新模块创建、目录设计、代码评审。支持 scaffold 搭建目录结...

在 Flutter 项目中封装 Hive 本地数据库服务，遵循 Repository 模式和 MVVM 架构。当用户需要使用 Hive 数据库、本地持久化存储、离线数据缓存、或提到 ...

Flutter 四层组件化 + MVVM 项目架构规范。适用于 Flutter 项目开发、新模块创建、目录结构设计、代码评审、架构对齐。支持在项目中直接创建/搭建整套...

Interactive setup wizard for Fluora marketplace integration. Clones fluora-mcp from GitHub, builds locally, generates wallet, and configures...

Manage projects and tasks with the Flower project management API via MCP. Use when creating, updating, or searching tasks/tickets, managing ...