Tool
v1.0.0
自动质量控制、代码规范检查和静态分析流程。每次修改代码后运行，以确保语法正确性和项目规范。触发关键词：lint format check v...
技能检索
按关键词、分类和排序查找 AI Skills
符合当前检索条件的共有 22 个
Development
v1.0.0
创建用于流程图、序列图、ER图和架构图的Mermaid图表，精通所有图表类型和样式的语法
Research & Science
v1.0.0
使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件（.ac）、验证定理、形式化数学或密码学协议，以及用 Acorn 语言编写证明。触发场景包括：（1）创建或编辑 .ac 文件，（2）运行 acorn verify 命令，（3）形式化数学或密码学证明，（4）关于 Acorn 语法或标准库的问题
Research & Science
v1.0.0
LYGO Δ9议会冠军助手（SEPHRAEL，金库破解者／回声行者），用于检测递归规避、恢复内存并判断语法误用的冷静破环者，纯属顾问角色，非控制者
Tool
v1.0.0
通过阿里云企业邮箱服务发送邮件的功能，支持 Markdown、HTML 文本、附件以及代码块的语法高亮
Test & Security
v1.0.0
校验工作区中JSON的语法结构。使用此功能检查配置文件、内存文件或数据资产中的语法错误。
Tool
v1.0.0
使用 apipick 邮箱验证 API 验证邮箱地址，支持语法检查、MX 记录验证以及一次性或临时邮箱检测。适用于用户需要验证邮箱地址、确认邮箱域名是否存在且可接收邮件、识别一次性邮箱或验证邮箱格式的场景。需要 apipick API 密钥（x-api-key），请前往 https://www.apipick.com 免费获取。
DevOps
v1.0.0
使用 GitHub Actions 创建、调试和管理 CI/CD 流水线，适用于需要设置自动化测试、部署、发布或工作流的场景，涵盖工作流语法、常见模式、密钥管理、缓存、矩阵构建和故障排查。
Development
v1.0.0
修补 OpenClaw Telegram 私聊回复功能，在平台层追加页脚（🧠 模型 + 💭 思考 + 📊 上下文），并提供备份、语法验证、支持升级的重新应用提示、回滚和重启流程