工具
  1. 首页
  2. 工具

列表

axiom.ai

axiom.ai

axiom.ai 是一款面向网页任务自动化的无代码 Chrome 扩展工具，支持数据抓取、表单填写及用户界面操作的自动化，具备与第三方服务集成的能力和 AI 辅助功能，可显著提高工作效率并保障数据安全。
AI项目与工具 2025年06月12日
Rizzle AI

Rizzle AI

Rizzle AI使用 AI 可以轻松创建视频，即使您没有任何视频编辑技能。您只需输入文本，选择一个模板，然后让 Rizzle 完成剩下的工作。
Ai视频生成 2025年06月05日
CloneUI

CloneUI

一款强大的AI驱动的图片转代码工具，能够将截图、网址或 Figma 设计一键转换为 React、Vue 或 HTML/CSS 代码。
Ai编程建站 2025年06月05日
Kimi探索版

Kimi探索版

Kimi探索版是一款基于深度推理的AI搜索工具，具备强大的搜索、分析及自我优化能力。它能够将复杂问题分解成多个子问题，通过逐步推理与数据整合生成精确解答，并支持数学建模、编程处理及多语言交流。此外，其自我反思机制进一步提升了答案的准确性，广泛适用于学术研究、市场分析、学习辅导和技术支持等场景。
AI项目与工具 2025年06月12日
BFS

BFS

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

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集，包含41.25小时高质量语音，覆盖全国22个省市。数据通过家长引导式对话采集，保证自然真实。该数据集支持语音识别、说话人验证和语言研究，适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域，为儿童语音技术研究提供重要资源。
AI项目与工具 2025年06月12日
LangBot

LangBot

LangBot 是一款开源的多平台即时通讯机器人，支持多种主流通信工具及大语言模型。具备多模态交互、多轮对话、插件扩展和安全管理等功能，适用于企业客服、个人助理、社区管理、教育辅导和内容创作等场景，提供灵活、安全的自动化服务。
AI项目与工具 2025年06月12日
DMind

DMind

DMind是由DMind研究机构开发的专为Web3领域优化的大型语言模型，针对区块链、去中心化金融和智能合约等场景深度优化。采用RLHF技术对齐，性能在Web3专项测试中表现优异，推理成本仅为大模型的十分之一。提供DMind-1和DMind-1-mini两个版本，适用于复杂任务和轻量级部署。支持智能合约生成与验证、DeFi交易代理部署、多轮对话交互等功能，基于Transformer架构，结合专业数
AI项目与工具 2025年06月11日
摹小仙

摹小仙

通过上传真人模特的照片，可以一键生成各种风格的虚拟模特
Ai绘画生成 2026年06月24日