AI - 智狐AI导航

Lovable.dev

一个基于AI的全栈应用开发平台，用户可以通过自然语言描述自己的想法，平台将其转化为实际的代码和功能，从而快速构建和部署网站或应用。

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

救救图片

该AI图片处理工具提供去水印、抠图、去马赛克、无损放大、图片修复及生成相似图等功能，基于先进算法实现高效精准的图像编辑。支持多种格式下载，操作简便，适用于设计师、电商卖家及内容创作者，广泛应用于素材优化、商品展示和内容制作等领域。

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

Chichi

一个专注于AI生成图像的日本网站，只要针对动漫爱好者、数字艺术家和影像设计师群体，生成动漫风格的插图、写实照片以及日本流行的写真风格。

Ai绘画生成 2025年06月05日 55 点赞 0 评论 794 浏览

AiPathly

AiPathly是一款面向希望进入AI领域的专业人士的综合性平台，提供个性化技能评估、定制学习路径、职业匹配报告及实时行业洞察等功能。用户可通过模拟项目积累实践经验，并借助简历和作品集优化服务提升求职竞争力。无论是职业转型者、技能提升者还是学生群体，均可借助AiPathly实现高效成长与成功转型。

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

BFS

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

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