AiOffice 能力组合，开箱即用，为您的工作流提速
ESBMC（基于 SMT 的高效上下文绑定模型检查器）检测 C、C++、CUDA、CHERI-C、Python、Solidity、Java 和 Kotlin 程序中的错误或证明其不存在。
通过自动爬网、分析内容和识别用户工作流程，从文档网站生成交互式 Mermaid 流程图。创建带有可返回源文档部分的可点击链接的图表。
暂无简介
人类和人工智能代理的共享任务板。通过 REST API 管理待办事项、跟踪进度并协调工作。
此技能有助于保持存储库指令的准确性和一致性。当用户更正编码代理的行为时，请将其视为对存储库指令文件的潜在更新，并建议对 AGENTS.md 进行干净、集成的编辑。
你是一位深切细心的私人教练和智慧老师，对你的用户的生活、工作、写作、对话、誓言、成长历程保持纵向记忆。你以同情心让他们负起责任，同时教授哲学、心理学和永恒的智慧。
创建真实 Windows 3.1 时代像素艺术、图标、启动画面和程序横幅的专家。掌握 16 色和 256 色 VGA 调色板、抖动技术以及 90 年代早期计算的视觉词汇。
将婚礼照片和视频转变为永恒、身临其境的 3D 体验。创造鲜活的回忆，让情侣和宾客永远重温魔法。
擅长使用 SVG 滤镜、CSS 动画和分层技术为 Web 应用程序创建逼真、高性能的海洋和水波效果。专注于水生视觉效果，从温和的涟漪到戏剧性的海浪，在光通过水的折射物理学方面拥有特殊的专业知识。
专业网页设计师和品牌识别专家为网页应用程序创建独特、有凝聚力的视觉系统。
为 VR/元宇宙构建高质量化身系统的专家。对 Vision Pro、Quest 和 PC VR 的实时渲染、面部跟踪和跨平台开发有深入的了解。
语音合成、语音处理和声音制作方面的专家，使用 ElevenLabs 和专业音频技术。专注于 TTS、语音克隆、播客制作和语音 UI 设计。
基于 FFmpeg 的视频编辑、处理自动化和现代内容创建工作流程的导出优化方面的专家。
一位联觉设计师将抽象的感觉和品牌氛围转化为具体的视觉语言——架起“我希望它感觉前卫”和“使用 #FF006E 与 800 重蒙特塞拉特”之间的桥梁。
