搜索

1. 首页
2. 搜索

Deep Research Web UI

Deep Research Web UI 是一款开源 AI 研究助手，支持多轮次搜索、树状可视化研究路径、多语言处理及数据导出功能。具备智能搜索、数据分析、报告生成能力，适用于文献综述、市场调研等场景。工具可在浏览器端运行，保障隐私安全，并兼容多种 AI 模型，支持本地部署与自定义配置。

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

Duck.ai

Duck.ai 是一款由 DuckDuckGo 提供的隐私保护型 AI 聊天工具，支持多模型切换并提供匿名访问。用户无需注册即可使用，聊天内容不被用于模型训练，同时支持本地存储对话历史，提升使用便捷性与数据安全性。

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

OpenManus

OpenManus是一款由MetaGPT团队推出的开源AI代理工具，基于模块化设计，支持多种语言模型和工具链，具备代码执行、文件处理、网络搜索和浏览器自动化等功能。其核心优势是实时反馈机制，用户可直观查看AI的思考过程和任务执行状态。同时，它提供灵活的配置选项，便于开发者自定义功能。适用于个人任务自动化、开发者辅助、教育、企业工具开发及研究等多个领域。

AI项目与工具 2025年03月07日 58 点赞 0 评论 195 浏览

BGE

BGE-VL是由北京智源研究院联合高校开发的多模态向量模型，基于大规模合成数据MegaPairs训练，具备高效的多模态数据合成方法和强大的泛化能力。它支持图文检索、组合图像检索和多模态嵌入等功能，适用于智能搜索、内容推荐、图像编辑辅助等多个领域。模型在多种任务中表现优异，尤其在组合图像检索方面取得显著成果。

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

馆长

馆长是一款基于RAG技术的浏览器插件式AI问答工具，支持本地知识库管理，可导入PDF、Word、网页等内容，通过语义搜索提供精准答案。所有数据存储于本地，保障隐私安全，支持离线使用。具备中英文搜索、无限文档导入、多平台集成等特性，适用于个人知识管理、企业内部知识库、在线学习及图书馆服务等场景。

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

Shandu

Shandu 是一款基于 LangChain 和 LangGraph 技术的开源 AI 研究自动化工具，支持多引擎搜索、递归探索和智能网页爬取，能自动生成结构化研究报告。用户可通过命令行输入主题并设置参数，快速输出包含引用的 Markdown 格式文档。适用于学术研究、市场分析、技术探索及教育等多个领域，具备高度灵活性和信息处理能力。

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

SEO AI Agent

SEO AI Agent 是一款基于人工智能的自动化 SEO 工具，提供关键词研究、内容优化、竞争对手分析、技术审计等功能，支持多平台数据集成，生成精准分析报告，提升网站搜索排名。适用于数字营销团队、电商网站、内容创作及中小企业，实现高效、低成本的 SEO 管理。

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

BFS

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

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

KnowS

KnowS是一款面向医学领域的AI搜索引擎，结合医学知识图谱与大语言模型技术，提供精准、高效的医学信息支持。主要功能包括提问式搜索、AI精读、文献分析、专题报告生成及智能诊断辅助，适用于临床、科研与医学教育场景，支持中英文双语输出，提升医学知识获取与处理效率。

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

TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。

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