AI项目与工具

Kimi浏览器插件

Kimi浏览器插件

Kimi浏览器插件是一款集成即时问答、全文摘要和划线互动功能的工具，支持用户通过划线提问获取上下文相关答案，并可一键生成文章摘要，提高阅读效率。划线互动功能还允许用户查看其他用户对特定文本的疑问和解答，增强社区互动。插件兼容多种浏览器，提供简洁的用户体验，适用于学术研究、资料查询、学习新知识、专业信息检索、内容创作等多个应用场景。
AI项目与工具 2025年03月03日
A1.art

A1.art

A1.art是一款结合AI技术的在线艺术创作平台，提供超3400种艺术风格选择，支持从静态到动态（GIF）的多样化创作需求。平台兼具智能推荐、社区互动及个性化服务功能，适用于个人、设计师、企业和教育领域的艺术创作与教学应用。
AI项目与工具 2025年06月12日
Trae国内版

Trae国内版

Trae国内版是字节跳动推出的AI IDE，支持代码生成、补全、优化及自然语言指令生成。其核心功能包括Builder模式、智能体协作、多模型切换及上下文理解，提升开发效率。界面简洁易用，适配中文环境，适合从初学者到专业开发者使用。
AI项目与工具 2025年06月12日
RealtimeSTT

RealtimeSTT

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

Kimina

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

AIGIF

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

Perplexity

Perplexity AI 是一款对话式AI搜索引擎，通过自然语言处理技术，能够从多种来源收集信息并提供准确答案。它支持用户通过聊天方式进行提问，确保信息来源可靠，并适用于多种职业背景的用户。与传统搜索引擎相比，Perplexity AI 提供了简洁无广告的体验和更高效的搜索结果。
AI项目与工具 2025年06月12日
Trickle

Trickle

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

Kotae

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

Sky

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