工具

MidJourney提示词工具

Midjourney提示词助手为Midjourney用户提供了一个便捷的学习和实验平台,帮助他们更好地掌握提示词的创作技巧,提升AI绘画的质量和效果。

Fellou AI浏览器

由中国95后创业者谢扬及其团队推出的全球首个行动型浏览器,它将浏览器、AI Agent和工作流自动化相结合。

PixPin

一款功能强大、完全免费的截图、贴图工具,具备高效截图、图片标注、屏幕贴图、文字识别、屏幕录制、长截图等功能,可以满足办公等场景需求。

SmartPrep AI

新一代课程规划简化,释放无限创造力,减少重复性任务,SmartPrep AI让您有更多时间专注于教学!

Onit

Onit是一款为Mac设计的AI聊天助手,支持停靠在任何应用程序中。它能通过高亮文本或自动提取当前窗口内容作为上下文,无需复制粘贴。用户可自由切换多种AI模型,如OpenAI、Anthropic等,并支持本地模式以确保数据安全。Onit还提供可定制快捷键、文件上传和代码块支持等功能,适用于代码辅助、内容创作、技术支持等多种场景,提升工作效率和交互体验。

Ztalk.ai

Ztalk.ai 是一款支持多语言实时语音翻译的AI桌面应用,具备低延迟、高清晰度和强兼容性,可与主流视频会议平台无缝连接。内置降噪、字幕及AI提示功能,确保沟通效率与质量。采用端到端加密,保障数据安全,适用于全球商务会议、跨境协作、客户互动及多语言培训等场景。

Krea Stage

Krea Stage 是一款基于 AI 技术的工具,能够将 2D 图像快速转换为可编辑的 3D 场景,并支持视频生成。用户可通过直观界面实时调整物体、光影和视角,无需专业建模知识。适用于影视、游戏、艺术、VR 和广告等多个领域,提升了 3D 内容创作的效率和灵活性。

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。

Poetry2Image

Poetry2Image是一个由哈尔滨工业大学提出的迭代校正框架,专门用于中文古诗词的图像生成。该工具通过自动化反馈和校正机制,提升了诗歌与图像的一致性,解决了文本到图像生成模型在处理中文古典诗歌时常见的关键元素丢失或语义混淆问题。Poetry2Image具备搜索翻译、生成初始图像、提取关键元素、图像修正及迭代优化等功能,与多种图像生成模型结合使用时,其元素完整性和语义一致性表现优异,适用于古诗词

designify

Designify是一款基于AI技术的在线设计工具,专注于为用户提供高效、专业的图像处理服务。它具备自动背景移除、色彩优化、阴影调节等功能,同时支持自定义元素添加和批量处理,广泛应用于电商、营销及汽车行业。Designify还提供了高分辨率输出和API接入能力,使用户能够灵活整合至现有工作流中,满足不同场景下的设计需求。