搜索 - 智狐AI导航

代悟

代悟是一款基于深度学习技术和知识图谱的智能AI搜索引擎，专注于为开发者提供高效、精准的技术支持。它能够解析复杂的技术问题，提供代码示例、文档检索、错误诊断及性能优化建议等功能。代悟支持多语言开发环境，适用于代码开发、问题解决、技术学习及项目规划等多个场景。

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

Hika AI搜索引擎

一款免费的知识获取AI搜索引擎，HIKA为你探索世界提供全新的方式与思路，你提出问题，HIKA会实时搜索网络，深度思考并给出答案。

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

FontSpace

fontspace目前收录了9万个免费英文字体，以及1.6万个可商用英文字体。

字体字库 2025年06月05日 13 点赞 0 评论 697 浏览

StockCake

一个免费的AI生成的图库，提供各种各样的高质量图片供商业和个人使用。StockCake所有照片都完全免费且属于公共领域。

免商图片 2025年06月05日 39 点赞 0 评论 696 浏览

BFS

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

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