工具

1. 首页
2. 工具

FormX.ai

FormX.ai是一款基于AI技术的在线表单构建工具，帮助用户快速创建高质量的表单，并自动化地处理表单数据。

Ai办公效率 2025年06月05日 74 点赞 0 评论 785 浏览

RefWorks

一款由ProQuest提供的文献管理工具，适用于学术界和图书馆，帮助用户管理和引用文献。RefWorks支持文献库、引文生成和团队协作功能。

教育学习 2025年06月05日 86 点赞 0 评论 785 浏览

BFS

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

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

狸谱

狸谱是一款集AI图像处理与互动创作于一体的多功能工具，提供“灵魂提取器”功能用于生成物体相关人设形象，同时拥有AI壁纸漫画创作、跑团剧情互动及自定义画风等功能。狸谱凭借其多模态大模型技术和丰富的应用场景，满足用户在娱乐、创意、教育等多个领域的多样化需求。

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

Emergent Drums

使用Emergent Drums人工智能生成独特的鼓样本，使用Audialab插件生成无限的鼓样本，全部免版税。

创作工具 2026年11月11日 0 点赞 0 评论 786 浏览

Open Voice OS

一个社区驱动的开源语音 AI 平台，用于使用 NLP、可自定义的 UI 以及对隐私和安全的关注跨设备创建自定义语音控制界面。

创作工具 2026年11月11日 0 点赞 0 评论 786 浏览

小白研报

基于元石自研模型，让小白研报模拟人类思维，通过多轮思考与工具调用，自动生成论文、行业研究与趋势报告，并以精美可视化网页呈现出来。

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

抖抖侠

抖抖侠，它可以帮助商家更加高效地进行短视频数据运营，并且助力达人数据增长。

数据分析 2025年06月05日 12 点赞 0 评论 786 浏览

Yuxi

Yuxi-Know是一款基于RAG和知识图谱技术的智能问答平台，支持多种文档格式上传与向量化存储，可高效检索并生成准确答案。集成Neo4j知识图谱，支持复杂关系查询，兼容多模型平台及本地部署。提供智能体拓展、网页检索和可视化配置功能，适用于企业知识管理、教育、客服、医疗及科研等领域，提升信息处理效率与准确性。

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

Product AnyShoot

Product AnyShoot 是一款基于 AI 技术的电商产品视频生成工具，用户只需上传图片并选择模板即可快速生成高质量视频。支持多种产品类型和场景，提供超过 5000 个预制模板，视频还原度高，便于用于电商推广、社交媒体营销等场景，提升用户体验和转化率。

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