工具

1. 首页
2. 工具

NotebookLM

一款基于Gemini 的AI笔记和研究助手，旨在帮助用户更高效地进行信息整理和思考。它利用Google Gemini来处理和分析用户上传的文档和信息源。

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

AI RPG Generator Freeplay

AI RPG Generator Freeplay 是一个强大且灵活的工具，适用于RPG爱好者或游戏设计师，能够快速生成丰富的游戏内容和故事情节，提供独特的游戏体验。

创作工具 2026年08月17日 0 点赞 0 评论 698 浏览

BFS

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

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

Harvey

Harvey是一款基于GPT-4的法律AI平台，专为法律从业者设计，提供法律研究、文档分析、合同审查、文件起草及工作流自动化等功能。支持多司法管辖区应用，提升法律工作的效率与准确性，助力律师专注于高价值任务。

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

XCole

XCole是一款集成了AI绘图、文本生成、翻译与代码辅助的多功能AI创作平台。它支持从图像生成到文本创作的多样化需求，并提供专业场景模板以满足不同领域的创作需求。XCole凭借其友好的用户界面和强大的功能，帮助用户提升工作效率，广泛应用于学术研究、内容创作、设计开发等多个场景。

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

REGRESSION GAMES

在游戏中与ai竞争,引入第一个全功能的AI、游戏和锦标赛平台。创建自己的ai并参与竞争!

创作工具 2026年08月17日 0 点赞 0 评论 698 浏览

Stable Artisan

Stable Artisan是一款基于Discord平台的图像和视频生成机器人服务，利用Stability AI的AI技术和模型，如Stable Diffusion 3和Stable Video Diffusion，使用户能够通过自然语言提示生成高质量的图像和视频。此外，它还提供了一系列图像编辑工具，包括搜索替换、背景去除、高清放大、扩展外延、控制素描和结构等功能，适用于创意人士、设计师、内容创作

AI项目与工具 2024年01月01日 46 点赞 0 评论 698 浏览

Adobe官方配色神器

一套的好的配色是设计的重要组成部分之一。对于在座学设计的同学们，尤其一些理工科背景的学生，没有系统的学过配色，对颜色的感觉也比较薄弱，所以在配色环节往往感觉很绝望，所以今天给大家带来一个王炸配色网站，也是 Adobe 的亲儿子：Adobe colors。也许很多人都知道这个网站，但是不知道它里面到底包含什么功能，今天就为大家简单解析一下。https://color.adobe.com/

调色配色 2025年06月05日 74 点赞 0 评论 698 浏览

AI问客

AI问客是一个多功能的AI助手，它能够覆盖广泛的使用场景，为用户提供智能问答和内容创作服务。

创作工具 2026年08月17日 0 点赞 0 评论 698 浏览

TheDream.ai

TheDream.ai 是一款基于AI技术的图像生成工具，支持个性化头像和创意图像生成，提供200多种风格选择。用户上传照片后，可快速生成符合需求的图像，适用于社交媒体、职业形象和创意设计等场景。工具注重隐私保护，界面友好，操作便捷，适合各类用户使用。

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