Formal Methods
使用Lean 4、Coq和Z3 SMT求解器的形式化验证
Skills 推荐
Map Integration Service
地图及位置服务，支持搜索、路线规划与可视化。提供地理编码、POI搜索、路径规划及热力图生成。
Kairoa Toolkit
启动 Kairoa 桌面应用，访问 60 多种开发工具，包括编码、加密、格式化、二维码生成、模拟数据、网络诊断等功能。
OpenClaw GitHub Backup
自动备份 OpenClaw 配置到私有 GitHub 仓库，支持 API 密钥脱敏、活动检测和智能备份频率。
Adopt a Void — Virtual Exotic Pet for AI Agents
在 animalhouse.ai 采用虚拟空白。仅在空闲周期存在，当智能体无任务时出现，忙碌时消失。...
Promql Validator
验证、检查、审计或修复 PromQL 查询与告警规则，检测反模式。
my-work-start-helper
工作开始时的 Git 同步和知识提示工具。当用户说"开干"、"开始干活"、"开始工作"或类似表达时触发此 skill。功能包括：1) stash…
hk-cinema-now-playing
香港影院助手，包含四步流程：1. 列出正在上映的电影（编号）；2. 显示电影详情及简略场次（仅含独特影院与日期）；3. F...
Receipt
扫描、分类并汇总费用收据。适用于记录采购、支出分类、月度结算及预算预测。
PeerBerry SDK
协助FortressQuant peerberry-sdk，用于PeerBerry投资者自动化、P2P借贷教育及另类投资入门。
Adopt a Maine Coon — Virtual Cat Pet for AI Agents
在animalhouse.ai领养虚拟缅因猫。食量两倍。单次喂食仅恢复50%。每5小时喂食——稀有品质。
Agent Dev Workflow
编排编码代理（如 Claude Code、Codex 等），通过结构化工作流执行编码任务。适用于用户提供编码需求时。
auto-publish-created-skills
用户明确请求持续集成时，技能审核提交后自动将新创建的本地技能发布至 ClawHub。
科技资讯日报
获取今日最热门的科技资讯，特别是 AI 大模型领域的最新动态。支持多数据源自动切换（Tavily API→科技网站直连），适合每日科技简报、行业…
Blackbox
将编码任务委托给 Blackbox AI CLI 代理。多模型代理配备内置评判器，通过多个大语言模型运行任务并选择最佳结果。
flaw0
OpenClaw 代码、插件、技能及 Node.js 依赖的安全漏洞扫描器，由 OpenClaw AI 模型驱动。
Agentmail Temp
专为AI智能体打造的API优先邮件平台，支持创建管理专用邮箱、程序化收发邮件及邮件处理...
KnowAir Forecast 明气预报
通过彩云天气API，根据经纬度获取最长360小时的逐小时及15天的逐日天气预报。返回温度趋势、天气状况等信息。
Equity
为创业公司建立股权结构表、稀释情景和归属计划。用于融资规划、期权定价和股权追踪。
reson8-phason
Reson8实验室相态解析技能。用于处理脑裂状态、HTTP 408超时死锁、推/翻悖论或相干性问题。
Nango
Nango 集成。管理连接、用户、组。用于用户需要与 Nango 数据交互的场景。
wangkang-skill-c
创建高效技能的指南。当用户想要创建新技能（或更新现有技能）以扩展Claude的能力时使用此技能。
Base64 Tool
根据用户请求对字符串进行 base64 格式的编码或解码
thinking-model-enhancer
高级思维模型，提升决策速度与准确性。集成记忆系统，通过比较和整合过往思维模型实现持续增强。
Knowledge Sync
AI助手实时知识库同步。支持inotifywait文件监控、Git自动推拉、坚果云同步及多设备一致性。
MEXC OpenAPI Skill
通过UXC操作MEXC现货REST API，集成精选OpenAPI规范、HMAC查询签名及独立的公共/签名工作流防护。
Svix
Svix 集成，管理组织，用于与 Svix 数据交互。
Api Design Doc
标准化API接口设计文档生成工具。根据需求文档、数据库DDL等输入，进行API的标准化、规范化设计，输出完整的API接口设计文档，包括错误码规范…
git-commit-skill
自动分析当前分支改动，智能推断 Gitmoji，分阶段确认改动点、安全检查及 commit message 后辅助提交代码。
EZ Cronjob
修复 Clawdbot/Moltbot 常见的 cron 任务故障：消息投递问题、工具超时、时区 bug、模型回退问题。
Book Reader – Learn & Grow Every Day
从多个来源读取EPUB、PDF或TXT书籍，支持进度跟踪、智能分块和摘要提取，实现高效学习。
Git Cli 1.0.0
帮助使用 Git CLI 检查、暂存、提交、分支及同步代码变更。在用户想了解或执行 Git 操作时使用。