工具

1. 首页
2. 工具

unsloth

Unsloth 是一款高效开源的LLM微调工具，通过优化计算流程和GPU内核设计，大幅提升训练速度并降低内存占用。支持多种主流大模型，提供动态量化、长上下文支持等功能，适用于学术研究、企业应用及资源受限环境中的模型优化。

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

Goedel

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

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

OneAI

OneAI是一款基于AI大语言模型的智能对话工具，支持多语言交流、信息检索、文本创作、翻译及生活辅助等功能。适用于学习辅导、写作协助、客户服务等多种场景，提供高效、精准的服务，提升用户体验与效率。

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

Zapier MCP

Zapier MCP 是一种 AI 工具，允许 AI 助手安全、快速地连接至 7000 多个应用程序，无需复杂 API 集成。它支持自动化任务如发送消息、管理数据、安排事件，并提供细粒度权限控制与安全验证。适用于开发者、AI 用户和企业团队，提升工作效率与协作能力。

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

UI

UI-TARS是由字节跳动开发的图形用户界面代理模型，支持通过自然语言实现桌面、移动端和网页的自动化交互。具备多模态感知、跨平台操作、视觉识别、任务规划与记忆管理等功能，适用于自动化任务执行和复杂交互场景。支持云端与本地部署，提供丰富的开发接口，便于集成与扩展。

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

Chat2DB

Chat2DB是一款AI驱动的数据库管理和数据分析工具，采用自然语言处理技术，让用户可以通过自然语言与数据库互动，实现SQL代码的智能化生成与优化。它支持多类型数据库，具备智能SQL编辑、数据导入导出、AI建表及数据库迁移等功能，同时强调团队协作与数据安全，适用于数据库管理、数据分析、报表生成等多个应用场景。

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

GeoGebra

一款适用于各级教育的免费动态数学软件，它将几何、代数、统计、微积分等多种数学功能集成于一体。

教育学习 2025年06月05日 22 点赞 0 评论 541 浏览

ParGo

ParGo是一种由字节与中山大学联合开发的多模态大语言模型连接器，通过结合局部与全局token，提升视觉与语言模态的对齐效果。其核心模块PGP和CPP分别提取图像的局部和全局信息，增强细节感知能力。在多个基准测试中表现优异，尤其在文字识别和图像描述任务中优势明显。采用自监督学习策略，提高模型泛化能力，适用于视觉问答、图像字幕生成、跨模态检索等多种场景。

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

IKI AI

IKI AI 是一款AI驱动的知识管理平台，支持多格式内容整合、AI信息提取、OCR识别和个性化知识组织。用户可通过浏览器扩展快速保存资料，适用于学术研究、专业发展、内容创作及项目管理等场景。平台提供多种版本，满足不同需求，强调信息处理效率与团队协作能力。

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

RestorePhotos

一款人工智能驱动的工具，它使用先进的算法来修复和恢复损坏的旧照片。它可以去除划痕、撕裂、斑点和褪色，甚至可以为黑白照片着色。让旧记忆重获新生。

Ai图片处理 2025年06月05日 32 点赞 0 评论 541 浏览