★ 279 · 更新于 2026-09-09
Lean 4 定理证明工具包，用于搜索引理、验证证明、修复代码及生成非形式化证明。
浏览使用该输入的技能列表。
★ 279 · 更新于 2026-09-09
Lean 4 定理证明工具包，用于搜索引理、验证证明、修复代码及生成非形式化证明。
★ 12 · 更新于 2026-06-30
通过 Gemini 图像生成、Veo 图生视频动画及 ffmpeg 合成，生成带可选背景音乐的动画视频贺卡。
★ 18 · 更新于 2026-03-22
将分析任务委托给AI模型的命令行工具
★ 650 · 更新于 2026-03-22
将分析任务委托给 AI 模型的命令行工具集
★ 650 · 更新于 2026-03-09
使用Google Gemini AI模型创建新图像或修改现有图像
★ 6 · 更新于 2026-02-18
通过去除洋红背景从图像提示生成网站图标，并创建多种格式输出。
★ 650 · 更新于 2026-02-12
提供包括GEMINI和CODEX在内的AI工具配置示例和设置说明
★ 18 · 更新于 2026-02-11
使用Google Gemini多模态AI处理和解析PDF、图像、视频及YouTube链接等多种文件类型。