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

acorn-prover

ClawHub

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

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

在当前图表页面打开并修改TradingView策略设置,适用于用户需要更改策略参数、调整如止损/止盈/周期/数量等输入项、修改初始资金/手续费/滑点等策略属性,或调整TradingView上的任何策略设置。支持自然语言(例如“把止损改成2%”)和精确的参数名称。不适用于创建新策略、编写Pine Script代码或图表绘制。

浏览量14 下载量14 查看
Content & Media v1.0.0

art-philosophy

ClawHub

自动学习你的视觉语言,适应你的观察方式、价值取向和创作动机。你的艺术哲学随你一同成长,从色彩理论到构图,再到你每一个选择背后的深意。基于三大原则:可错性(错误即是数据)、关系本体论(所有艺术都是与他者的对话)和游戏性(视觉表达通过玩味而非规划得以发现)

浏览量15 下载量14 查看
Content & Media v1.0.0

twinfold

ClawHub

通过你的智能代理控制Twinfold——这款由AI驱动的社交媒体内容平台,创建帖子、生成图片、将内容适配至10个平台的13种语言,管理自动发布、发布内容并追踪数据分析。当用户希望创建社交媒体内容、发布至LinkedIn、Twitter、Instagram等平台,管理内容日历,运行自动内容生成,查看趋势或与Twinfold账户互动时使用。触发词包括:发布、发表、推文、LinkedIn、社交媒体、内容、排期、自动发布、Twinfold、线程、适配、趋势、再利用

浏览量16 下载量14 查看
Content & Media v1.0.0

captions

ClawHub

从YouTube视频中提取字幕和隐藏字幕。当用户需要字幕、隐藏字幕、CC、可访问性文本或想阅读视频中的内容时使用。支持时间戳和多种语言,非常适合听障人士、内容审核、引用和翻译使用。

浏览量12 下载量15 查看
Tool v1.0.0

mac-tts

ClawHub

使用macOS内置的say命令实现文字转语音,用于语音通知、音频提醒、朗读文本或通过Mac扬声器播报信息,支持多种语言,包括中文(普通话)、英语、日语等

浏览量20 下载量11 查看