工具 - 智狐AI导航

appypie

Appypie 是一个面向无代码开发的综合性平台，支持用户通过拖放式界面轻松构建跨平台移动应用。它提供丰富的行业模板和第三方服务集成能力，同时强调数据安全与合规性，适合各类型企业用于推动业务创新和增长。

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

陌言AI

陌言AI是一款免费的智能AI问答系统，可以快速、准确地解答您的问题，辅助您更高效的学习和工作，陌言Ai–让创作变得更加简单。

AI写作对话 2025年06月05日 39 点赞 0 评论 719 浏览

TripoSR

TripoSR是一款由Stability AI与VAST联合开发的开源3D生成模型，能够在不到0.5秒内从单张2D图像生成高质量的3D模型。基于Transformer架构和大型重建模型（LRM）设计，采用先进的图像编码、三平面NeRF表示及优化训练策略，支持无GPU设备运行。适用于游戏开发、影视制作、建筑设计、产品设计等多个领域，具有高效、高精度和广泛适用性的特点。

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

Zion

一个全面的无代码平台，用于开发和集成AI智能体应用。它的特点包括一站式开发环境、灵活的生成式AI应用开发框架、多数据源支持、结构化输出、工具调用能力以及商业化应用开发的支持。

Ai编程建站 1970年01月01日 0 点赞 0 评论 719 浏览

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 719 浏览