软件

1. 首页
2. 软件

AingDesk

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

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

Omnitool

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

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

涌墨

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

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

Goedel

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

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

Symbolab

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

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

AnythingLLM

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

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

Ranger

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

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

Project Padawan

Project Padawan 是 GitHub 推出的 AI 驱动的软件工程智能体，支持从代码生成到提交 PR 的全流程自动化。具备环境管理、代码优化、测试验证、智能推断等功能，适用于漏洞修复、新功能开发、代码重构等场景。运行于安全云沙箱中，提升开发效率，助力开发者聚焦创造性工作。

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

Chatbox AI

Chatbox AI是一款开源跨平台AI助手，支持多语言模型集成与本地部署，提供图像生成、代码辅助、文档交互等功能。用户可自由定制并参与社区开发，确保数据安全与隐私保护，适用于办公、学习、开发等多种场景，提升工作效率与创意表达。

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

AI编程工具L1

AI编程L1-L5分级体系定义了AI编程工具在自动化能力上的不同层次，从代码补全到全流程开发，覆盖从基础到高级的应用场景。L1至L5依次提升自动化程度，降低开发门槛，提高效率。各类工具支持代码生成、任务执行、项目构建及全流程部署，适合不同层级的开发者使用。L5则代表AI开发团队，模拟多代理协作完成复杂任务。

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