工具

1. 首页
2. 工具

Docling

Docling 是一款开源工具，支持多种文档格式的解析与转换，包括 PDF、DOCX、PPTX、图片和 HTML。它通过高级 PDF 理解和 OCR 技术，将文档内容转换为统一的结构化格式（如 Markdown 和 JSON）。Docling 可与 LlamaIndex 和 LangChain 集成，增强文档的检索和问答能力，并提供简洁的命令行界面，适用于自动化文档处理、数据科学、知识管理和信息检

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

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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

All GPTs

All GPTs目录是一个综合性在线资源，列出了各种GPT（预训练生成式转换器）模型、AI代理和应用程序。它是一个集中的地方，可以找到和探索基于AI的解决方案。

GPTs应用 2025年06月05日 76 点赞 0 评论 605 浏览

VoiceDub

VoiceDub 是一款AI驱动的音频处理平台，支持人声替换、声音克隆、文本转语音及音频分离等功能，提供超过10,000种AI人声音色。用户可通过平台进行音乐创作、有声内容制作及个性化音频生成，适用于多种应用场景，如语言学习、娱乐互动等。

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

Context7

Context7 是 Upstash 推出的 AI 编程辅助工具，为 LLM 和 AI 代码编辑器提供最新、版本特定的文档和代码示例。通过解析、丰富、向量化和重新排名等步骤，确保开发者获取准确信息。支持多种开发工具，如 Cursor、Windsurf、Claude Desktop 等，安装配置简单，可显著减少生成错误或过时代码的风险，适合快速更新的框架或小众包使用。

AI项目与工具 2025年06月11日 16 点赞 0 评论 605 浏览

Fluig

Fluig 是一款基于 AI 的图表生成工具，可将文字、文档或代码快速转化为多种专业图表，如思维导图、流程图等。支持多模态输入和智能格式转换，操作简便，适合无设计背景的用户使用。提供实时协作功能，适用于教育、商业、研究等多个场景，提升信息可视化与团队协作效率。

AI项目与工具 2025年06月11日 35 点赞 0 评论 605 浏览

筑绘通AlphaDraw

筑绘通AlphaDraw是面向工程领域的新一代智能设计平台。 它嵌入包含行业标准数据、规范要求、工程经验及常用做法的知识库，同时搭配强大的工程设计智能生成算法，实现绘图10倍提效。

AI服务商 2025年06月05日 71 点赞 0 评论 605 浏览

iFlyCode

iFlyCode 智能编程助手是一款由科大讯飞推出的智能编程辅助工具。具备代码生成、代码补齐、代码纠错、代码测试等功能。

Ai编程建站 2025年06月05日 99 点赞 0 评论 605 浏览

Uncrop | 图片自动补全

UNCROP是一款在线AI图片自动补全工具。它利用强大的AI人工智能技术，能够帮助我们对图片进行扩展和自动补全，兼容上下、左右方向的扩充。

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

Watermarkly

一款用于自动模糊照片部分的惊人应用程序，有了Watermarkly，您将能够在一批照片中模糊人脸和车牌，并在几分钟内保护您的敏感信息。

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