编程

Gemini

Gemini是Google DeepMind推出的全新AI模型,集成了多模态推理功能,超越了以往模型的性能,适用于科学文献洞察、竞争性编程等多种应用场景。

AutoDev

AutoDev是一款由微软研发的AI编程辅助工具,专注于自动化软件工程任务,如代码编写、调试、测试和版本控制等。它通过目标定义与任务分配、代码生成、测试执行、代码维护、文件编辑、信息检索、构建与执行、多智能体协作、对话管理和安全隐私保护等功能,提高软件开发效率和质量。AutoDev的架构设计确保了其高效、安全和可控性,支持在无干预情况下自主完成任务。

Indie Hacker Stacks

一个展示独立开发者用于构建产品的技术栈和工具的平台。Indie Hacker Stacks帮助独立开发者找到合适的工具来构建他们的产品,然后从成功项目中学习并分享他们的技术栈。

DeepSeek 官方提示词库

DeepSeek 官方提示词库是一款多功能 AI 工具,提供代码处理、文本生成、内容分类、翻译等功能,涵盖 13 个核心场景。用户可选用预设提示词模板,提升与 AI 的交互效率,适用于开发者、内容创作者、研究人员等多类人群,广泛应用于编程、写作、数据分析等领域。

JetBrains AI

JetBrains AI是编程软件开发公司JetBrains最新为其旗下系列IDE推出的类似于GitHub Copilot的AI编程助手,可与IntelliJ IDEA、PyCharm、PhpStorm、ReSharper、Fleet等集成开发环境...

O1

O1-CODER是一款由北京交通大学研究团队开发的开源编码工具,专精于编程任务。它通过结合强化学习和蒙特卡洛树搜索技术,实现了从伪代码到完整代码的生成,并通过测试用例生成器和过程奖励模型优化代码质量。该工具支持自动化代码生成、代码质量提升、教育辅助以及软件测试等多种应用场景。

Claude 4

Claude 4 是 Anthropic 公司推出的新一代 AI 模型,包括 Claude Opus 4 和 Claude Sonnet 4。Claude Opus 4 擅长复杂任务和长时间运行的工作流,如代码生成、优化和调试,具有强大的推理能力。Claude Sonnet 4 在编程和推理上表现优异,适合日常使用。两者均支持工具使用、记忆管理、多模态处理等功能,提升 AI Agent 的效率与实

Open Code Reasoning

Open Code Reasoning(OCR)是英伟达推出的开源代码推理AI模型,基于Nemotron架构设计,支持多种编程语言。它具备代码生成、逻辑补全、多语言处理及高效推理能力,适用于代码优化、教育、测试等多个场景。OCR提供32B、14B和7B三种参数版本,满足不同计算需求,并与主流框架兼容,具有良好的扩展性。