CODE GIST 一个代码片段管理工具，CODE GIST可以帮助您存储、组织和分享代码片段，高效地管理和检索常用代码片段，提高开发效率。 Ai编程建站 2025年06月05日 100 点赞 0 评论 699 浏览
千绘AI 一款AI漫画创作平台，用户可以通过千绘AI生成分镜，并将其转化为图片。千绘AI支持角色引用，确保角色在不同分镜中保持一致。 Ai绘画生成 2025年06月05日 85 点赞 0 评论 699 浏览
Probly Probly 是一款集电子表格与 Python 数据分析功能于一体的 AI 工具，支持在浏览器中运行 Python 代码，实现数据处理、可视化和智能分析。用户可通过自然语言提问获取分析结果，操作简便且保障隐私安全，适用于数据分析、教育、科研及个人数据管理等场景。 AI项目与工具 2025年06月12日 61 点赞 0 评论 699 浏览
Uncrop | 图片自动补全 UNCROP是一款在线AI图片自动补全工具。它利用强大的AI人工智能技术，能够帮助我们对图片进行扩展和自动补全，兼容上下、左右方向的扩充。 Ai图片处理 2025年06月05日 88 点赞 0 评论 699 浏览
RefWorks 一款由ProQuest提供的文献管理工具，适用于学术界和图书馆，帮助用户管理和引用文献。RefWorks支持文献库、引文生成和团队协作功能。 教育学习 2025年06月05日 86 点赞 0 评论 699 浏览
MuseGate MuseGate是一款依托生成式AI技术的电商营销工具，专注于服饰行业。它通过虚拟模特生成、场景定制、尺寸调整等功能，助力企业优化商品展示效果，降低运营成本，提升品牌形象。其核心功能包括虚拟模特生成、一键换装、场景定制、节点营销等，广泛应用于时尚展示、电子商务、广告宣传等领域。 AI项目与工具 2025年06月12日 68 点赞 0 评论 699 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 698 浏览
Harvey Harvey是一款基于GPT-4的法律AI平台，专为法律从业者设计，提供法律研究、文档分析、合同审查、文件起草及工作流自动化等功能。支持多司法管辖区应用，提升法律工作的效率与准确性，助力律师专注于高价值任务。 AI项目与工具 2025年06月12日 15 点赞 0 评论 698 浏览
