Same.dev Same.dev 是一款基于 AI 的前端开发工具，能够将网页截图、设计文件或链接转化为高质量的前端代码。它支持多种输入方式，具备智能元素识别、代码优化、自适应布局等功能，并提供调试与一键部署支持。适用于快速原型开发、前端开发辅助、学习与教学、设计协作等多个场景，提升开发效率与协作体验。 AI项目与工具 2025年06月12日 43 点赞 0 评论 587 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 587 浏览
MinusX MinusX是一款先进的AI工具，专为数据分析应用程序如Jupyter和Metabase设计。它通过自然语言处理技术，支持用户以聊天形式提出问题和假设，并自动执行数据分析任务，提供直观的见解。MinusX简化了数据探索过程，提高了工作效率，使数据分析师、研究人员和商业决策者能够快速获得深入的数据洞察。主要功能包括自然语言查询、假设生成与验证、内容修改、选择与提问以及无缝集成。 AI项目与工具 2025年06月12日 94 点赞 0 评论 587 浏览
Skyvern Skyvern是一款基于开源的浏览器自动化工具，集成了大型语言模型和计算机视觉技术，用于实现网页内容解析、交互计划生成及执行。其主要功能涵盖CAPTCHA解决、双因素认证支持、代理网络配置、可解释AI操作以及数据提取等，适用于网站数据抓取、表单填写、网页测试等多种应用场景。 AI项目与工具 2025年06月12日 90 点赞 0 评论 587 浏览
VideoToWords AI 一款免费在线将视频和音频转录为文本的工具，轻松在浏览器中将视频转换为文本，添加字幕等。还提供在线编辑、多种格式导出功能。 Ai语音工具 2025年06月05日 25 点赞 0 评论 587 浏览
天才助理AI 天才助理AI是一款面向专业领域的 AI 创意工具，它结合了超级问答和创意绘画两款强大的功能，让你可以用 AI 聊天、AI 绘画来快速激发你的灵感。它还接入了最新的 midjourney V5 版本，可以生成更多样的风格和效果。 Ai绘画生成 2025年06月05日 46 点赞 0 评论 587 浏览
Eagle Eagle是一个由英伟达开发的多模态大模型，专长于处理高分辨率图像，提高视觉问答和文档理解能力。该模型采用多专家视觉编码器架构，通过简单的特征融合策略实现图像内容的深入理解。Eagle模型已开源，适用于多个行业，具有高分辨率图像处理、多模态理解、多专家视觉编码器、特征融合策略和预对齐训练等特点。 AI项目与工具 2025年06月12日 38 点赞 0 评论 587 浏览
Photopea Photopea号称免费Photoshop线上版，它的操作界面和Photoshop看起来很像，但不需要额外下载、安装软件，只要通过浏览器打开Photopea就能使用。 图片处理 2025年06月05日 81 点赞 0 评论 586 浏览
