Research & Science
v1.0.0
使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件（.ac）、验证定理、形式化数学或密码学协议，以及用 Acorn 语言编写证明。触发场景包括：（1）创建或编辑 .ac 文件，（2）运行 acorn verify 命令，（3）形式化数学或密码学证明，（4）关于 Acorn 语法或标准库的问题
技能检索
按关键词、分类和排序查找 AI Skills
符合当前检索条件的共有 3952 个
Documentation
v1.0.0
与 Foam 笔记仓库协同工作，创建、编辑、链接和标记笔记，获得智能的维基链接和标签建议。该技能支持反向链接发现、每日笔记、模板、图谱可视化、笔记删除与重命名，并附带完整的 Foam 文档，方便查询。
Tool
v1.0.0
将DXF转换为PNG、JPG或SVG格式，便于分享（如Telegram）或进一步编辑
Blockchain
v1.0.0
加密交易：兑换、永续合约、转账、支付、存款（信用卡/加密货币）、提款、AI聊天、市场发现、x402支付、自动驾驶。通过Minara CLI内置钱包。支持EVM和Solana。
Blockchain
v1.0.0
为您的应用创建加密货币支付和提款链接，支持BSC、以太坊和TRON网络。用户通过PayTheFlyPro网关支付，您将获得内置签名验证功能的可分享链接
Business
v1.0.0
AIUSD交易与账户管理技能。通过MCP调用后端执行余额查询、交易、质押、提现、Gas充值和交易历史查询。认证优先级：MCP_HUB_TOKEN环境变量，其次为mcporter OAuth或本地令牌文件
Data AI
v1.0.0
从数据生成高质量的图表图像，支持折线图、条形图、面积图、点图、K线图、饼图/环形图、热力图、多系列图和堆叠图。适用于数据可视化、绘图、时间序列绘制以及为报告或告警生成图表图像。专为 Fly.io/VPS 部署设计，无需本地编译，无需 Puppeteer，无需浏览器，纯 Node.js 配合预编译二进制文件。