工具

1. 首页
2. 工具

AI Portrait

Al头像生成器Al Portrait是一个免费的在线应用程序，利用Midjourney V5提供的支持，可以将自拍照转化为引人注目的AI肖像。

Ai图片处理 2025年06月05日 96 点赞 0 评论 602 浏览

RealtimeSTT

RealtimeSTT是一款开源的实时语音转文本库，具备高精度语音活动检测、GPU加速的实时转录能力以及语音唤醒功能。支持多语言识别，适用于语音助手、会议记录、实时字幕等场景，提供灵活的音频输入与预处理机制，便于开发者快速集成和扩展。

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

Kimina

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

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

AIGIF

AIGIF是一款基于AI技术的个性化GIF制作工具，允许用户通过上传自拍照，将自己的面部特征无缝嵌入到各种GIF动画中，生成具有高度真实感和娱乐价值的表情包。其核心功能包括智能人脸交换、快速生成、高保真图像质量和丰富素材库。平台注重隐私保护，并提供免费与付费两种订阅模式以适应不同用户需求。

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

Kotae

Kotae是一款专为中小企业设计的智能聊天机器人平台，基于ChatGPT技术开发，支持80多种语言，可快速自然地响应客户咨询。用户无需编程即可在5分钟内完成配置和部署，通过分析网站内容、培训材料和FAQ生成准确回答。支持品牌定制和实时对话管理，适用于自动化客户服务、提升满意度及收集客户反馈等场景。

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

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。

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

在线改图

在线改图，一款不需要注册，直接免费使用的简便在线图片编辑工具，并且注重隐私保护，不上传您的图片。

图片处理 2025年06月05日 83 点赞 0 评论 603 浏览

PDF2Audio

PDF2Audio 是一款开源工具，支持将 PDF 文档转换为音频内容，适用于播客制作、教育、业务演示等多个场景。其核心功能包括 PDF 转文本、生成播客脚本、文本转语音转换、多语言支持及高级编辑功能。用户可通过自定义选项调整文本生成模型、语音风格等，支持批量处理和多种模板适配，方便用户根据需求生成高质量音频。

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

Trickle

Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。

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

dorik

Dorik是一款基于AI技术的无代码网站构建平台，支持用户通过简单的提示快速创建美观且功能齐全的网站，无需编码或设计经验。平台提供白标CMS、博客平台、会员站点、SEO工具、Airtable集成等功能，并配备了丰富的模板和预设计UI组件。AI工具可自动生成文本和图像内容，加速网站构建过程。

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