软件

1. 首页
2. 软件

VideoFusion

VideoFusion 是一款开源的短视频处理工具，支持自动去除黑边、水印和字幕，智能旋转视频方向，提升画质，并兼容多种视频格式。具备批量处理、自定义设置和实时进度反馈功能，适用于视频创作者、自媒体运营及企业等多场景应用。

AI项目与工具 2025年06月12日 27 点赞 0 评论 509 浏览

Claude 3.7 Sonnet

Claude 3.7 Sonnet 是由 Anthropic 推出的混合推理模型，支持标准模式与扩展思考模式，适用于复杂任务处理和日常交互。其在数学、物理、编程等领域表现卓越，尤其在代码生成与理解方面领先。模型优化了安全性，减少误拒率，并支持多平台接入。适用于软件开发、前端设计、科学计算及企业自动化等多个场景。

AI项目与工具 2025年06月12日 37 点赞 0 评论 412 浏览

MGX

MGX（MetaGPT-X）是一款基于MetaGPT框架的AI编程工具，通过多智能体协作实现软件开发的全流程自动化。它包含产品经理、架构师、工程师等五个AI代理，分工明确，从需求分析到代码生成无需人工干预。支持自然语言编程，用户仅需描述需求即可快速生成全栈应用，适用于个人开发者、企业、数据分析及教育等多个领域。

AI项目与工具 2025年06月12日 49 点赞 0 评论 414 浏览

AingDesk

AingDesk 是一款开源的 AI 模型部署工具，支持一键安装上百款 AI 模型，降低使用门槛。具备联网搜索功能，提升回答准确性；提供模型共享与多语言支持，便于团队协作与跨语言使用。内置模型管理器，优化本地资源利用，适用于学习、办公及学术研究等多种场景。

AI项目与工具 2025年06月12日 47 点赞 0 评论 139 浏览

Omnitool

Omnitool是一款开源的AI桌面工具，提供统一界面整合多种AI模型，支持本地运行，保障数据隐私。兼容OpenAI、Stable Diffusion等主流平台，无需复杂配置即可实现图像生成、文本翻译、音频创建等功能。具备高扩展性，支持脚本和第三方工具集成，适用于从初学者到开发者的多场景应用，涵盖艺术创作、教育、企业开发等领域。

AI项目与工具 2025年06月12日 10 点赞 0 评论 278 浏览

涌墨

涌墨是一款智能文档编写平台，提供全流程文档管理与智能生成服务。平台包含25类符合软件行业国标的文档模板，支持智能解析、内容生成及文档一致性管理。用户可通过项目为中心的工作流进行文档创建、编辑与优化，适用于招投标、规范文档、日常办公及市场调研等多种场景。其可视化功能和高度定制化设计提升了文档管理的效率与准确性。

AI项目与工具 2025年06月12日 77 点赞 0 评论 420 浏览

Goedel

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

AI项目与工具 2025年06月12日 50 点赞 0 评论 478 浏览

Symbolab

Symbolab 是一款基于AI的数学解题工具，支持从基础算术到高等数学的广泛领域，提供分步解题、智能图表生成、多语言输入及个性化学习建议等功能，适用于学生、教师及专业人士，提升数学学习与应用效率。

AI项目与工具 2025年06月12日 52 点赞 0 评论 212 浏览

AnythingLLM

AnythingLLM 是一款开源、多模态的 AI 客户端工具，支持文本、图像和音频输入，可将文档转化为上下文信息供语言模型使用。支持本地和云端部署，具备多用户管理、工作区隔离、丰富的文档格式支持和强大的 API 接口。适用于企业知识管理、学术研究、个人学习、内容创作等多种场景，保障数据隐私安全。

AI项目与工具 2025年06月12日 37 点赞 0 评论 277 浏览

Ranger

Ranger是一款基于AI的自动化测试平台，支持用户通过自然语言生成测试用例，并通过HTML代码执行测试，无需依赖屏幕截图。平台提供实时监控、详细测试报告及安全分析功能，适用于企业质量保证、CI/CD流程、生产环境监控及跨平台测试，具备良好的集成性和审计能力，提升软件开发效率与安全性。

AI项目与工具 2025年06月12日 99 点赞 0 评论 412 浏览