搜索 - 智狐AI导航

CodeCompanion

CodeCompanion是一款基于AI技术的编程助手，旨在提升开发者的编码效率和代码质量。它提供了AI驱动的集成开发环境（IDE），能够全面分析代码库并在任务执行前进行深度研究。CodeCompanion集成了终端、浏览器和Git，支持代码读写、自然语言搜索、错误修复及代码重构等核心功能，适用于代码开发、审查、维护以及项目管理等多种场景。

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

Yesicon

一个支持中文搜索的高品质、开源、免费的矢量图标库。利用 ChatGPT API将Iconify 的21万个图标名做翻译并扩展成中文的关键词，使用户能以中文搜索到想要的图标。

logo图标 2025年06月05日 65 点赞 0 评论 252 浏览

360AI搜索

360AI搜索是一款集成人工智能技术的搜索引擎，专注于为用户提供更精准、全面且智能的搜索体验。它具备AI搜索、增强模式、智能排序和内容生成等功能，通过深度分析用户问题，从海量信息中提取最相关的内容，并生成逻辑清晰、有理有据的答案。

AI项目与工具 2024年01月01日 55 点赞 0 评论 252 浏览

码多多ChatWork知识库系统

码多多ChatWork智能知识库，可以进行AI对话、AI应用，拥有强大的第三方对接能力。适用企业智能客服、企业智能文档、专家顾问助理等多种企业级商业场景，具有较大的商业使用价值。

Ai开源项目 2025年06月05日 96 点赞 0 评论 250 浏览

天工AI搜索

天工AI搜索,搭载天工大模型的AI技术，提供智能、高效、快速的搜索体验。天工AI搜索不仅能够找资料、查信息、搜答案、搜文件，还会对海量搜索结果做AI智能聚合，更系统地解答你的问题，提升你的信息理解效率，做你学习、工作、生活的最佳AI搭档。

AI搜索问答 2025年06月05日 67 点赞 0 评论 249 浏览

BFS

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

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