产品库

智能编程助手，助力高效编程。

JoyCoder 是京东自主研发的智能编程助手，基于大语言模型，适配多种 IDE，提供代码预测、智能问答等功能。它能够提升开发人员的编程效率和代码质量，减少编程错误，降低修复问题的频率。该产品适合各种开发者使用，特别是在快速开发和测试需求中。随着智能编程的兴起，JoyCoder 为开发者提供了一个高效、流畅的编程环境，满足其多样化需求。产品定价方面，具体信息请联系售前顾问。

智能解决数学问题，提升学习效率

AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。它利用先进的人工智能技术，为学生和教师提供详尽的分步解答，增强了对数学概念的理解和解题能力。该产品背景是数学学习中对高效解题工具的需求，定位于免费提供高质量的教育支持。

强大的数学和编程模型，具备高度连贯性和多轮对话能力。

Mistral-22b-v.02 是一个强大的模型，展现出出色的数学才能和编程能力。相较于V1，V2模型在连贯性和多轮对话能力方面有显著提升。该模型经过重新调整取消了审查，能够回答任何问题。训练数据主要包括多轮对话，特别强调编程内容。此外，模型具备智能体能力，可执行真实世界任务。训练采用了32k的上下文长度。在使用时需遵循GUANACO提示格式。

语音编程助手，提高开发效率

Voqal革新了开发者与集成开发环境（IDE）的互动方式，将其从图形用户界面（GUI）转变为语音用户界面（VUI），使程序员可以用语音进行软件开发。Voqal不仅理解您说的话，更重要的是理解您说的话在软件开发上的含义。它让开发者能够用最少甚至零打字的方式编写干净、简洁的代码。此外，Voqal还提供“语音意图”，为开发者提供了语音替代键盘快捷键的选择。它还具有无限召回功能，可根据您的偏好进行记忆，并可配置个性化的助手，轻松导航和管理项目生态系统，实现语音控制调试，并使用Picovoice进行本地转录，确保您的语音永远不离开计算机。Voqal还支持与OpenAI和其他AI提供商集成，提供高效的语音编程助手。个人每月6美元，组织每月10美元，可免费试用。

AI助手Claude，提供写作、分析、数学等任务帮助

Claude by Anthropic 是一款由Anthropic PBC开发的AI助手应用，旨在通过人工智能技术帮助用户完成各种任务。该应用提供从写作、分析到数学等多领域的帮助，能够显著提升用户的工作效率和学习效果。应用在2024年7月16日更新，注重数据安全和隐私保护，支持用户在需要时要求开发者删除数据。

AI 写作系统

悟智写作是一款全面的 AI 写作辅助工具和智能助手，通过大模型技术的驱动，为您开启全新的写作体验。它提供智能写作、智能对话、AI 绘图等功能，帮助用户快速创作高质量的文本内容。悟智写作适用于各类写作场景，如文案创作、论文写作、写作指导等。您可以通过悟智写作网页版、悟智小程序、悟智 App 等多个形态进行使用。悟智写作免费注册，付费会员用户享受更多高级功能和优质服务。

超级AI编程助手，提升开发者效率

Safurai是一款超级AI编程助手，帮助开发者在修改、优化和搜索代码时节省时间。它支持所有编程语言，完全免费提供给Visual Studio Code用户。Safurai具有以下特点：1. 通过生成的代码为您提供信息、建议和思路；2. 高亮代码并使用快捷键请求解释、优化或单元测试；3. 可以对您的项目进行训练，以提供极其准确的响应；4. 使用自然语言搜索您的项目，快速找到所需的内容。

更懂中国人的英文写作神器

有道写作是一款基于中国人英语写作习惯的英文写作神器，支持多场景写作，包括小初高、四六级、考研、雅思、托福、学术论文等多种写作类型。产品亮点包括权威的批改体系、准确性、语言风格、多样性、清晰度、双语写作、句子润色、权威例句、有道AI翻译查词等。支持Web、macOS、Windows、iOS、Android多端互联，流畅写作。同时，有道写作还提供浏览器扩展和Word插件等多种使用方式。

专业开发者 AI 编程助手，提升编程效率。

DeepV Code 是一个为开发者设计的 AI 编程助手，集成 Claude 智能，旨在提高编程效率。支持代码分析、版本回滚和多设备同步，适合各种规模的开发项目。基础版仅需 $9.9，专业版 $599，满足不同用户的需求。

基于仓颉编程语言构建的 LLM Agent 开发框架。

CangjieMagic 是一个基于仓颉编程语言构建的 LLM Agent 开发框架，支持多种功能，包括任务智能规划和模块化调用。该框架旨在提升应用程序的智能和创造力，适合开发者使用。

免费的AI写作插件，智能纠错、润色、改写，让你的中英文写作更准确地道！

火山写作是一款免费的、专为中英文写作而设计的工具，它可以为你提供实时建议和辅助，让你的文本更为准确、流畅和地道。在你输入文本时，Writingo Pluggin将实时简化你的文本，并提供写作建议。让你在写作过程中不再担心用于错误和表达恰当性，从而更加专注于内容的创作。Writingo Pluggin还拥有智能纠错、润色、改写等功能，让你的中英文写作更加准确地道。

AI辅助写作工具，提供多种写作辅助功能。

柒源写作是一个基于AI技术的在线写作辅助平台，旨在通过人工智能技术提高写作效率和质量。它提供了包括AI对话、降重复率、一键生成文章、一键生成图表等多种功能，帮助用户快速完成写作任务。产品背景信息显示，柒源写作注重用户体验，提供免费试用和多种付费服务，定位于帮助用户提升写作效率，降低写作难度。

最强大的为学生打造的AI

Caktus AI是一个全新的教育助手,专为学生提供写作、解题、编程等强大功能,助你轻松完成作业。它可以根据你的写作风格,为你生成各种高质量的文章;同时它也可用于数学、科学等题目的步步解答,无需编码就可以与它进行交互;此外,它还支持多种编程语言,能帮助你学习代码。Caktus AI让你拥有一个私人教育伙伴,它将成为你永远的知识后盾。

AI驱动，帮助写作和内容创作

小鱼AI写作是一个AI驱动的写作辅助平台，提供3958个精品AI写作模板，满足不同场景的使用需求。该平台特别适合0基础用户，可以在1分钟内轻松完成写作任务，激发写作灵感，帮助用户更好地表达思想。功能包括AI文章创作、AI续写、文章润色等。

开发者编程统计和分析仪表盘

WakaTime是一个跨平台的编程活动跟踪器,它可以记录您在不同编辑器和IDE上编写代码所花费的时间。通过精美的图表和详细的AI分析,它可以帮助您分析代码行为,提高编程效率。

数学视觉指令调优模型

MAVIS是一个针对多模态大型语言模型（MLLMs）的数学视觉指令调优模型，主要通过改进视觉编码数学图表、图表-语言对齐和数学推理技能来增强MLLMs在视觉数学问题解决方面的能力。该模型包括两个新策划的数据集、一个数学视觉编码器和数学MLLM，通过三阶段训练范式在MathVerse基准测试中取得领先性能。

AI 助力全流程让写作更轻松

光速写作是一款智能写作软件，为学生及职场人士提供全文生成、大纲生成、文章改写、续写、扩写等多种功能。通过 AI 技术，根据用户的需求自动生成文本，大幅提升写作效率。光速写作支持跨平台云存储，多端同步编辑查看，自动保存永不丢失。

多功能智能助手，覆盖写作、咨询、编程等领域。

精灵AI是一个集成了多种智能服务的网站，旨在通过人工智能技术帮助用户在写作、情感咨询、编程等领域提高效率和质量。它结合了自然语言处理和机器学习技术，为用户提供个性化的智能对话、写作辅助、情感咨询等服务。

Cline 是一个为 VSCode 提供的协作式 AI 编程伙伴，助力开发者高效开发。

Cline 是一款面向开发者的协作式 AI 编程插件，旨在通过与开发者的紧密合作，提升编程效率和质量。它不仅能够生成代码，还能全面优化开发流程，从监控开发环境到自动修复问题，全方位助力开发者。Cline 采用开源模式，支持多种 AI 模型，用户可根据需求选择合适的模型，确保开发过程的安全性和可控性。其主要面向需要高效开发和优化编程流程的开发者，无论是个人开发者还是企业团队，都能从中受益。

学生最强大的AI助手，立即写作、解题、编程等

Caktus AI是学生们的最强大的AI助手，可以帮助他们进行写作、解题、编程等各种学习任务。它提供了优质的学术资源，可以帮助学生撰写更好的论文并生成引用。此外，Caktus AI还能够提供数学、科学和物理等学科的步骤解答，帮助学生解决难题。同时，它也是学习编程的绝佳工具，支持多种编程语言，并提供代码解释和转换功能。Caktus AI还可以个性化写作风格、准备文档和与AI聊天等功能。

智能软件开发工具，提升编程效率。

aiXcoder 是一款智能软件开发工具，基于深度学习技术，实现代码自动生成、自动补全、智能搜索等功能，提升开发效率。其方法级代码生成、智能代码补全等功能可帮助程序员提高工作效率。aiXcoder 支持多种主流编程语言和 IDE，提供本地和云端两种模式，适用于企业和个人开发者。产品定位于提供智能化编程辅助，助力开发者提升编程体验。

易用、灵活、高效的开源大模型应用开发框架。

Agently是一个开源的大模型应用开发框架，旨在帮助开发者快速构建基于大语言模型的AI agent原生应用。它通过提供一系列工具和接口，简化了与大型语言模型的交互过程，使得开发者可以更专注于业务逻辑的实现。Agently框架支持多种模型，易于安装和配置，具有高度的灵活性和扩展性。

一款支持一键生成论文、PPT、开题报告的AI系统，具备AIGC降重功能，适合学术写作。

该产品是一款基于AI技术的论文生成系统，能够快速生成高质量的学术论文、PPT和开题报告，并支持AIGC降重功能。其主要优点包括高效生成、降重稳定、文献真实可查等。产品定位为学术写作辅助工具，适用于高校学生、研究人员和教育机构。

在线AI数学辅导

Maths.ai是最好的基于AI的在线数学辅导工具，可以立即回答您所有的数学疑问。通过AI即时获得个性化的数学帮助。

数学推理LLM

MathCoder是一款基于开源语言模型的数学推理工具，通过fine-tune模型和生成高质量的数据集，实现了自然语言、代码和执行结果的交替，提高了数学推理能力。MathCoder模型在MATH和GSM8K数据集上取得了最新的最高分数，远远超过其他开源替代品。MathCoder模型不仅在GSM8K和MATH上超过了ChatGPT-3.5和PaLM-2，还在竞赛级别的MATH数据集上超过了GPT-4。

全球最强的编程和推理模型，提升开发效率。

Claude 4 是 Anthropic 最新推出的 AI 模型系列，具备强大的编程和推理能力，能够高效处理复杂任务。其卓越的性能使其在编程基准测试中名列前茅，成为开发者的重要工具。Claude 4 通过多项新功能的引入，提升了信息处理的效率和准确性，适合需要高效编码和逻辑推理的用户。

在线数学助手

Numberly是一个在线数学助手插件，可以实时解决数学方程和度量单位转换。它可以在任何输入框中自动计算并显示结果，无需离开浏览器。Numberly还可以帮助专业人士和学生减少错误，提高计算准确性。它还提供内联解决方案，方便用户在电子邮件、社交媒体、文档和电子表格中进行数学计算。

聊天机器人开发平台

ChatDev是一个聊天机器人开发平台软件开发平台，可以帮助用户快速构建自己的聊天机器人。ChatDev提供了丰富的功能和工具，包括自然语言处理、多语言支持、API集成等，帮助用户轻松实现聊天机器人的开发。ChatDev的定价灵活，提供免费试用和付费套餐，适合个人和企业用户使用。

一款功能全面的 AI 智能写作工具。

蛙蛙写作是一款集创意灵感获取、小说改编、视频生成等多种功能于一体的智能写作助手。它帮助用户高效创作，适用于学术、职场及个人项目。产品背景强大，定位于提升写作效率，适合各类创作者。

构建数学基础模型的数学中心语料库

MathPile是一个包含约95亿个标记的数学中心语料库，从教科书（包括讲座笔记）、arXiv、维基百科、ProofWiki、StackExchange和网页中汲取数学内容，适用于K-12、大学、研究生水平和数学竞赛。MathPile的数据质量高，并且有着丰富的数据文档，以增强透明度和给用户灵活的使用数据的能力。在授权方面，MathPile遵循BY-NC-SA 4.0许可协议，同时计划很快发布一个商业可用版本。