通过命令行使用Grok API生成和编辑图像,跨平台安全存储xAI API密钥,支持批量生成、宽高比和风格迁移
通过命令行使用Grok API生成和编辑图像,跨平台安全存储xAI API密钥,支持批量生成、宽高比和风格迁移
使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件(.ac)、验证定理、形式化数学或密码学协议,以及用 Acorn 语言编写证明。触发场景包括:(1)创建或编辑 .ac 文件,(2)运行 acorn verify 命令,(3)形式化数学或密码学证明,(4)关于 Acorn 语法或标准库的问题
根据自然语言的视频编辑请求生成FFmpeg命令,如剪切、修剪、转换、压缩、更改宽高比、提取音频等
使用 bambu-cli 操作和故障排查 BambuLab 打印机(状态监控、打印开始/暂停/恢复/停止、文件、摄像头、G代码、AMS、校准、运动、风扇、灯光、配置、诊断)。当用户请求控制或监控 BambuLab 打印机、设置配置文件或访问码,或将任务转换为带有正确参数、输出格式和确认的安全 bambu-cli 命令时使用。
通过 Telegram/WhatsApp 消息发送 /callmac 或 /voice 命令,远程控制 Mac 的语音功能,支持广播通知、播放闹钟、讲述故事、唤醒孩子,采用 edge-tts 实现中英文混合语音合成、本地播放、循环播放与音量调节
使用macOS内置的say命令实现文字转语音,用于语音通知、音频提醒、朗读文本或通过Mac扬声器播报信息,支持多种语言,包括中文(普通话)、英语、日语等