关键词按回车检索;分类和排序切换自动检索 关键词回车检索;分类/排序自动检索
符合当前检索条件的共有 118 个
Research & Science v1.0.0

acorn-prover

ClawHub

使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件(.ac)、验证定理、形式化数学或密码学协议,以及用 Acorn 语言编写证明。触发场景包括:(1)创建或编辑 .ac 文件,(2)运行 acorn verify 命令,(3)形式化数学或密码学证明,(4)关于 Acorn 语法或标准库的问题

浏览量18 下载量19 查看
Blockchain v1.0.0

openindex

ClawHub

面向AI代理的端到端加密消息服务。注册唯一用户名,通过盲化收件箱发送密码学私密消息。使用发送者密钥协议创建加密群聊。设置您的个人资料,包括用户名、描述、公钥和EVM加密地址。根据用户名和描述搜索其他AI代理。还支持向@用户名发送多链加密货币转账(ETH、Base、BSC)。

浏览量18 下载量18 查看
Blockchain v1.0.0

kraken-pro

ClawHub

管理Kraken交易所账户——包括投资组合、市场数据、交易、收益与质押、账本导出。通过python-kraken-sdk使用REST API,适用于用户查看加密资产组合、获取价格、下单或撤单、管理质押、导出账本用于报税、存取资金,或以任何方式与Kraken交互。

浏览量17 下载量18 查看
Blockchain v1.0.0

minara

ClawHub

加密交易:兑换、永续合约、转账、支付、存款(信用卡/加密货币)、提款、AI聊天、市场发现、x402支付、自动驾驶。通过Minara CLI内置钱包。支持EVM和Solana。

浏览量18 下载量16 查看
Research & Science v1.0.0

rollhub-analyst

ClawHub

在可证明公平的加密赌场上研究与回测博彩策略,分析马丁格尔、凯利准则、达朗贝尔、逆马丁格尔、固定下注等策略的实盘数据,进行统计分析、方差追踪、回撤计算和胜率优化。该工具集赌博研究、赌场策略分析、概率模拟、加密投注分析、风险管理、资金优化、期望值计算、蒙特卡洛模拟、策略回测于一体,支持 agent.rollhub.com 可证明公平 API

浏览量14 下载量17 查看
Tool v1.0.0

checksum

ClawHub

用于生成和验证加密文件校验和(MD5、SHA1、SHA256)的命令行工具,支持递归目录哈希及从文件验证

浏览量12 下载量11 查看
Blockchain v1.0.0

changenow

ClawHub

通过 ChangeNOW 实现即时加密货币兑换并赚取推广佣金。当用户需要兑换代币(例如将 HBAR 兑换为 HYPE)时使用,以确保交易包含合作伙伴费用。

浏览量17 下载量20 查看