关键词按回车检索;分类和排序切换自动检索 关键词回车检索;分类/排序自动检索
符合当前检索条件的共有 168 个
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

bambu-cli

ClawHub

使用 bambu-cli 操作和故障排查 BambuLab 打印机(状态监控、打印开始/暂停/恢复/停止、文件、摄像头、G代码、AMS、校准、运动、风扇、灯光、配置、诊断)。当用户请求控制或监控 BambuLab 打印机、设置配置文件或访问码,或将任务转换为带有正确参数、输出格式和确认的安全 bambu-cli 命令时使用。

浏览量13 下载量9 查看
Tool v1.0.0

say

ClawHub

通过 macOS 的 say 命令结合 Siri 自然语音进行文本转语音,用于生成语音音频、TTS 片段或在 macOS 上朗读文本

浏览量21 下载量10 查看
Tool v1.0.0

callmac

ClawHub

通过 Telegram/WhatsApp 消息发送 /callmac 或 /voice 命令,远程控制 Mac 的语音功能,支持广播通知、播放闹钟、讲述故事、唤醒孩子,采用 edge-tts 实现中英文混合语音合成、本地播放、循环播放与音量调节

浏览量21 下载量10 查看
Tool v1.0.0

mac-tts

ClawHub

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

浏览量19 下载量10 查看
Development v1.0.0

my-tesla

ClawHub

通过 teslapy 使用 Tesla 所有者 API 从 macOS 控制特斯拉车辆,支持认证、列出车辆、获取状态、锁车/解锁、空调控制、充电、定位及其他功能。适用于查看车辆状态或执行安全的远程指令。专为 Parth Maniar (@officialpm) 设计,具备本地仅缓存认证、高风险操作确认机制,以及适合聊天环境的状态输出格式。

浏览量14 下载量12 查看