工具

1. 首页
2. 工具

ChatAI

集多模型AI技术于一身的创新平台，整合了多种LLM模型与Midjourney等先进模型，提供丰富的场景化功能。

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

NineF AI

一站式免费主流AI大模型集成平台，集成了GPT、Claude、Llama等全球顶尖AI模型，提供多角度智能解答，助您提升工作效率和决策准确性。满足各类创作和研究需求。

Ai平台模型 2025年06月05日 96 点赞 0 评论 450 浏览

AI课代表-视频总结

专门为视频站打造的AI总结助手

Ai办公效率 1970年01月01日 0 点赞 0 评论 450 浏览

万彩商图

万彩商图是一款基于AI技术的图像处理工具，为电商行业提供商品背景替换、模特图生成、批量抠图、高清修复及无损放大等功能。它能够显著提升图片生产效率，优化电商视觉体验，适用于商品展示、广告制作及社交媒体推广等多个场景。

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

SOM AI

SOM AI 是一款 AI 辅助学术写作工具，帮助学生完成毕业论文和学术研究。它提供研究主题头脑风暴、段落释义、简化复杂内容等功能，帮助学生避免抄袭并快速理解学术内容。SOM AI 还能提供情感支持，缓解写作压力，适用于毕业论文和日常学术作业，是高效的学习助手。

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

BFS

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

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

maket

Maket是一款基于生成式AI技术的建筑设计工具，主要功能包括自动化生成楼层平面图、设计风格探索、设计元素定制等。它通过虚拟助手为用户提供材料、成本和设计方案的专业建议，同时简化法规遵守流程，确保项目合规性。此外，Maket支持快速生成概念设计并提供即时合规反馈，有效提升设计效率与质量。

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

一键LOGO设计

一键logo设计是一款智能的在线生成Logo的网站。它根据AI大数据计算，只需输入Logo名称、口号或标题，选择心仪的行业或风格、配色、字体，即可一键生成专属的logo标志。

Ai绘画生成 2025年06月05日 49 点赞 0 评论 449 浏览

Tough Tongue AI 2.0

Tough Tongue AI 2.0 是一款多模态对话训练工具，适用于面试、职场沟通、销售谈判等多种场景。用户可自定义AI角色与语气，通过视频和音频反馈练习非语言沟通技巧，并获得个性化反馈以提升表达能力。支持多语言使用，可无限重试，便于反复练习。具备嵌入功能，方便集成到其他平台。

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

Lepton AI

Lepton AI是由贾扬清创办的云原生AI平台，提供了一系列工具和服务，降低AI应用开发的门槛，帮助开发者更容易地完成创建、部署和扩展任务。它提供了 Python SDK 和云计算平台。Pyth...

创作工具 1970年01月01日 0 点赞 0 评论 449 浏览