产品库

全球首创桌面双轮足式AI机器人，集成ChatGPT，能跑、能看、能说、倒不了。

XGO Rider是一款集成了ChatGPT的桌面双轮足式AI机器人，具备自平衡功能和全向移动能力。它基于Raspberry Pi CM4核心模块构建，支持Python和C++编程，适合AI编程学习和教育使用。XGO Rider不仅能够帮助学生和开发者轻松进入机器人世界，还能通过其丰富的传感器和AI功能进行各种互动和学习，如手势识别、人脸检测、骨骼识别等。

xAI推出的最新旗舰AI模型Grok 3，具备强大的推理和多模态处理能力。

Grok 3是由Elon Musk的AI公司xAI开发的最新旗舰AI模型。它在计算能力和数据集规模上显著提升，能够处理复杂的数学、科学问题，并支持多模态输入。其主要优点是推理能力强大，能够提供更准确的答案，并且在某些基准测试中超越了现有的顶尖模型。Grok 3的推出标志着xAI在AI领域的进一步发展，旨在为用户提供更智能、更高效的AI服务。该模型目前主要通过Grok APP和X平台提供服务，未来还将推出语音模式和企业API接口。其定位是高端AI解决方案，主要面向需要深度推理和多模态交互的用户。

一个基于DeepSeek API的Manim动画生成工具，用于快速创建数学和科学动画。

DeepSeek-Manim-Animation-Generator是一个结合了DeepSeek语言模型和Manim动画引擎的工具。它允许用户通过简单的文本指令生成复杂的数学和科学动画。该工具的主要优点是能够将复杂的科学概念转化为直观的动画，极大地简化了动画制作流程。DeepSeek的API提供了强大的语言理解能力，而Manim则负责将这些概念转化为高质量的视觉内容。该工具主要面向教育工作者、学生以及任何需要将科学概念可视化的专业人士。它不仅提高了动画制作的效率，还降低了技术门槛，使得更多人能够轻松创建动画。

AI模型编程竞赛平台

CodeArena是一个在线平台，旨在展示不同AI模型（Large Language Models，LLM）在编程任务中的表现。该平台通过实时竞赛，让用户可以看到不同AI模型在编程挑战中的实时表现，并决出胜者。它不仅提供了一个比较不同AI模型编程能力的场所，也为开发者和研究人员提供了一个实验和学习的环境。CodeArena由Together.ai提供技术支持，是一个创新的编程竞赛平台，强调技术的先进性和教育意义。

学习编程和面试准备的趣味平台

edCode是一个面向所有人，从初学者到专家的编程学习平台。它提供AI面试准备功能，帮助用户学习编程或为梦想工作做准备。平台强调学习的乐趣，提供自定进度的课程，并通过动态排行榜和社交功能激励用户。

编程学习平台

CoderWithAI是一个综合性的编程学习平台，提供多种编程语言和技术的教程和资源。它旨在帮助初学者和有经验的开发者提高编程技能，并通过实践项目加深理解。平台涵盖了从前端到后端，从移动开发到数据科学的广泛技术领域。

AI工具目录，提升你的生产力

AI Scout是一个全面的AI工具目录，提供超过1800种AI工具，涵盖生产力、写作、设计、编程等多个领域。用户可以根据分类、平台和价格快速找到所需的AI工具，以提高工作效率和生活质量。

一站式AI解决方案，助力工作学习生活。

GPT中文站是一个提供多种AI服务的网站，包括对话、绘画、编程、翻译和创作等。它集成了国内外多种AI模型，如GPT-4、GPT-4o、Claude 3.5等，以及Midjourney AI等工具，旨在提高工作和学习效率，释放创造力。该产品上线已超过一年，累计用户超过80000，其中10000+选择了付费服务，日均费用低至0.45元，功能持续升级迭代，提供完善的服务支持。

教育AI编程平台

Cyber Square是一家为学校提供计算机科学教育解决方案的公司，包括针对KG1至高中的编程和人工智能课程。他们的平台利用人工智能为教师提供便利，提供云端计算机实验室和个人登录。此外，Cyber Square还举办数字节，展示学生的科技成果，并提供10年以上的经验、风险免费的实施以及国际合作等优势。

轻松愉快的编码旅程

Codebay是一个交互式编程教育平台，提供个性化的编码指导和有趣的学习场景。用户可以随时随地选择在电脑或手机上学习编程知识，通过与AI导师Dino的互动获得定制的编码练习。用户还可以收集类似游戏中的奖杯的知识卡片，记录自己的编码之旅。Codebay鼓励用户提供反馈，以不断改进平台。

快速将LLM集成到生产应用

Merlin提供统一的API和SDK,用于将LLM/LLVM快速集成到生产应用中。性能高、可靠、易于使用。它可以在5分钟内将Google的Gemini SDK集成进去。提供20多个AI模型,无需管理多个API密钥,没有速率限制,也不必担心记忆窗口或记号计算。所有模型都遵循OpenAI API结构,误差率比OpenAI低10倍,零宕机时间。

快速找到有用的最佳 AI 工具

StackAI 是您导航有用的最佳 AI 工具的首选目的地 —— 一个致力于为您提供最新的 AI 技术的综合平台。StackAI 提供了广泛的 AI 工具，涵盖生产力、图像、视频、设计、编程、写作、聊天、音乐、趣味、商业、教育等多个领域。无论您是想提高工作效率、改进设计、解决问题还是寻找创意灵感，StackAI 都能为您提供合适的 AI 工具。

编程问题实时辅助

Code Companion是一个基于GPT-4的辅助工具，能够为你的编程问题提供实时帮助和反馈。你可以在我们的在线编程环境中获得即时反馈，解决问题或提出问题。你还可以使用Code Companion生成新的问题或示例，帮助你掌握难以理解的概念。

虚拟电子硬件、机器人编程

3D One AI基于物理刚体运动与三维数据处理技术，融合开源硬件、人工智能、编程等多学科实践，支持通过界面交互或编程控制物体的运动。3D One AI平台还提供虚拟开源硬件技术与人工智能技术，支持进行动态的人工智能行为仿真，以及输出三维动画。该软件支持小学、初中、高中阶段的人工智能教育，匹配国家教育标准与课标要求，助力普及化开课和科技人才培养。

免费AI工具集合

FreeAiKit是一个免费的AI工具集合，提供多种功能，包括编程教程生成器、电子邮件生成器、博客标题生成器、故事生成器、文章生成器、数学辅导、诗歌生成器、评论生成器、代码翻译器、图像提示生成器、内容摘要生成器等。该工具集适用于各种场景，用户可以根据需求选择合适的工具。所有工具都由Prgmine提供支持。

智能教育助手，赋能学生与教师

Khanmigo Education AI Guide是一款智能教育助手，为学生提供个性化辅导，并帮助教师提升教学水平。它通过AI技术实现一对一辅导的效果，帮助学生深入理解知识、增加自信、提供清晰的指导，并激发学生的创造力。同时，Khanmigo还提供编程教学和写作辅导等功能，帮助学习者提升计算机科学技能和写作能力。用户可以通过每月9美元或年费99美元的捐赠获得个性化学习体验。Khanmigo致力于革命性地改变教育方式，使教育变得更加普惠和可访问。

智能学习编程平台

Brainlox是一家智能学习编程平台，利用机器学习算法为学习各种编程语言的用户提供个性化指导和实时反馈。通过Brainlox，您可以学习编程，扩展知识和机会。

聊天式AI编程导师

Taiga是一款聊天式AI编程导师，通过Slack实时提供反馈、指导和个性化推荐，帮助用户以互动有趣的方式学习软件工程。Taiga基于人工智能技术，鼓励用户间的协作与交流，让你在编程过程中与他人连接，充分发挥你的潜力。

AI工具提示与命令库

Promptsio是一个AI工具提示与命令库，为使用AI工具的人提供了大量有用的提示，帮助他们更轻松地使用AI工具并获得更好的结果。无论是在营销、编程、语言、教育、商业还是其他领域，Promptsio都有各种各样的提示可供选择。通过使用Promptsio，您可以充分利用AI工具的潜力，为未来的发展带来重要影响。

生成创作灵感的AI助手

Fusion是一款AI助手，通过生成创作灵感的方式帮助用户提升创造力和创作效率。它可以生成各种创作提示和随机组合，包括文字、图像、视频等。用户可以根据生成的提示来进行写作、设计、编程等创作活动，提供了丰富的创作灵感和思路。Fusion还提供定制化的功能，用户可以根据自己的需求来定制生成的内容。Fusion还支持多种使用场景，包括写作、设计、教育等领域。

免费学习编程

克码是一个帮助人们免费学习编程的网站，提供丰富的学习资源和实践项目，帮助初学者快速入门编程世界。我们致力于打造一个友好、易于理解和互动的学习平台，帮助用户掌握编程技能并实现自己的创意和梦想。无论您是零基础还是有一些编程经验，克码都能满足您的学习需求。

集无限画布、AIGC、项目看板、音视频会议等功能于一体的可视化在线协作空间

英飞·思想家是一个AIGC赋能的可视化在线协作空间，旨在通过无限画布、音视频会议、思维导图等功能，为企业和团队提供高效协作的数字平台。它支持实时和异步协作，适用于多种场景，如项目管理、头脑风暴、培训等。产品定位为提升团队协作效率，促进知识共享和创新。目前提供个人免费使用和团队免费试用，具体定价需查看官网。

一款开源的14B参数量的数学模型，通过强化学习训练，性能卓越。

Light-R1-14B-DS 是由北京奇虎科技有限公司开发的开源数学模型。该模型基于 DeepSeek-R1-Distill-Qwen-14B 进行强化学习训练，在 AIME24 和 AIME25 数学竞赛基准测试中分别达到了 74.0 和 60.2 的高分，超越了许多 32B 参数量的模型。它在轻量级预算下成功实现了对已经长链推理微调模型的强化学习尝试，为开源社区提供了一个强大的数学模型工具。该模型的开源有助于推动自然语言处理在教育领域的应用，特别是数学问题解决方面，为研究人员和开发者提供了宝贵的研究基础和实践工具。

一款用于检测文本是否由人工智能生成并可将AI文本改写为人类风格的工具。

该产品通过先进的技术检测文本是否由人工智能生成，同时提供文本改写功能，使AI生成的文本具有人类写作的自然风格。它对维护内容的原创性和真实性具有重要意义，尤其在学术、教育、内容创作等领域。产品完全免费，无需注册，支持多语言，适合广泛用户。

提供书籍总结的平台，支持听书和下载PDF、EPUB格式。

DeepSummary是一个专注于提供书籍总结的在线平台，旨在通过简洁高效的方式帮助用户快速获取书籍的核心内容。该平台支持多种书籍类别，包括科学、历史、哲学等，并提供听书和下载功能，方便用户随时随地学习。其主要优点是节省时间、提升知识获取效率，适合忙碌的专业人士和学习者。平台采用付费模式，价格亲民，提供灵活的订阅计划，致力于帮助用户实现个人和职业目标。

一个用于生成对话式语音的模型，支持从文本和音频输入生成高质量的语音。

CSM 是一个由 Sesame 开发的对话式语音生成模型，它能够根据文本和音频输入生成高质量的语音。该模型基于 Llama 架构，并使用 Mimi 音频编码器。它主要用于语音合成和交互式语音应用，例如语音助手和教育工具。CSM 的主要优点是能够生成自然流畅的语音，并且可以通过上下文信息优化语音输出。该模型目前是开源的，适用于研究和教育目的。

Zonos TTS 是一款支持多语言、情感控制和零样本文本到语音克隆的高质量 AI 文本转语音技术。

Zonos TTS 是一款先进的 AI 文本转语音技术，支持多语言、情感控制和零样本语音克隆。它能够生成自然、富有表现力的语音，适用于教育、有声读物、视频游戏、语音助手等多种场景。该技术通过高质量音频输出（44kHz）和快速实时处理能力，为用户提供高效且个性化的语音生成解决方案。虽然产品本身并非完全免费，但提供了灵活的定价方案以满足不同用户的需求。

一个轻量级且强大的多智能体工作流框架

OpenAI Agents SDK是一个用于构建多智能体工作流的框架。它允许开发者通过配置指令、工具、安全机制和智能体之间的交接来创建复杂的自动化流程。该框架支持与任何符合OpenAI Chat Completions API格式的模型集成，具有高度的灵活性和可扩展性。它主要用于编程场景中，帮助开发者快速构建和优化智能体驱动的应用程序。

一个关于大型语言模型（LLM）后训练方法的教程、调查和指南资源库。

Awesome-LLM-Post-training 是一个专注于大型语言模型（LLM）后训练方法的资源库。它提供了关于 LLM 后训练的深入研究，包括教程、调查和指南。该资源库基于论文《LLM Post-Training: A Deep Dive into Reasoning Large Language Models》，旨在帮助研究人员和开发者更好地理解和应用 LLM 后训练技术。该资源库免费开放，适合学术研究和工业应用。

SmolVLM2 是一个专注于视频内容分析和生成的轻量化语言模型。

SmolVLM2 是一种轻量级的视频语言模型，旨在通过分析视频内容生成相关的文本描述或视频亮点。该模型具有高效性、低资源消耗的特点，适合在多种设备上运行，包括移动设备和桌面客户端。其主要优点是能够快速处理视频数据并生成高质量的文本输出，为视频内容创作、视频分析和教育等领域提供了强大的技术支持。该模型由 Hugging Face 团队开发，定位为高效、轻量化的视频处理工具，目前处于实验阶段，用户可以免费试用。