Research & Science
v1.0.0
使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件（.ac）、验证定理、形式化数学或密码学协议，以及用 Acorn 语言编写证明。触发场景包括：（1）创建或编辑 .ac 文件，（2）运行 acorn verify 命令，（3）形式化数学或密码学证明，（4）关于 Acorn 语法或标准库的问题
技能检索
按关键词、分类和排序查找 AI Skills
符合当前检索条件的共有 110 个
Blockchain
v1.0.0
为您的应用创建加密货币支付和提款链接，支持BSC、以太坊和TRON网络。用户通过PayTheFlyPro网关支付，您将获得内置签名验证功能的可分享链接
Data AI
v1.0.0
在回答问题前，通过网络搜索核实信息
Tool
v1.0.0
通过校验和验证和路径验证，安全地将文件从macOS传输到Android
Test & Security
v1.0.0
一项使Claw能够测试API端点、验证响应、测量性能并生成健康报告的功能
Business
v1.0.0
医疗器械质量管理体系中的CAPA系统管理，涵盖根本原因分析、纠正措施规划、有效性验证和CAPA指标，适用于CAPA调查、5Why分析、鱼骨图、根本原因判定、纠正措施跟踪、有效性验证及CAPA方案优化
Research & Science
v1.0.0
高速研究编排引擎，管理代理的持久状态、合成与自主验证
Blockchain
v1.0.0
绑定协议MCP服务器以进行凭据验证、策略编写和零知识证明生成