编程

Kodezi Ai

Kodezi Ai,程序员的自动更正功能。Kodezi 是一个 AI 驱动的开发工具,可以在几秒钟内调试、优化、转换、生成和记录您的代码。

Websim

Websim是一款基于AI技术的网页开发工具,用户只需输入文本提示,即可快速生成网站或应用程序。它支持智能界面设计、自动代码生成及项目托管,适用于个人创意实现、企业开发、教育及市场营销等多个场景。无需编程基础,大幅降低开发门槛,提高项目构建效率。

百度AI搜

百度AI搜是一款基于文心大模型构建的桌面端AI搜索引擎,融合了百度多领域的资源与技术,提供智能创作、画图修图、AI阅读及精选智能体等功能。它支持文档阅读、图片处理、代码助手以及法律咨询等多样化应用,适用于学习、工作和生活中的多种场景,助力用户高效获取信息与创造价值。

OpenAI o3

OpenAI o3是一款具备图像推理能力的AI模型,融合了神经符号学习与概率逻辑,支持多模态任务处理。它能够自主调用工具解决复杂问题,擅长编程、数学、科学等领域,同时在安全性方面进行了显著优化。o3在多基准测试中表现优异,提供透明的推理路径和高效的多任务处理能力。

Dora AI

Dora AI是一个创新的AI驱动的网站生成平台,它通过先进的人工智能技术,为用户提供了一个无需编码即可创建网站的解决方案。

DeepCoder

DeepCoder-14B-Preview 是一款基于 Deepseek-R1-Distilled-Qwen-14B 微调的开源代码生成模型,采用分布式强化学习技术,在 LiveCodeBench 基准上达到 60.6% 准确率。支持多语言代码生成、问题解决、补全优化、测试生成等功能,适用于开发、教育、竞赛等多个场景。项目提供完整训练数据与优化方案,推动 RL 在 LLM 中的应用。

Claude Code

Claude Code 是由 Anthropic 推出的智能编程工具,支持代码搜索、编辑、测试、版本控制等操作,适用于测试驱动开发、复杂调试和大规模重构。它基于自然语言交互,提升开发效率,且无需额外配置即可集成到开发环境。

GitHub Spark

GitHub Spark是一款基于自然语言处理的AI编程工具,支持多种高级AI模型,允许用户通过自然语言描述需求快速生成微应用程序。其主要功能包括即时预览、多模型选择、自动保存和版本控制。用户可以轻松定制应用程序的外观和功能,适用于个人生产力、教育、财务、健康及娱乐等多个领域。

MGX

MGX(MetaGPT-X)是一款基于MetaGPT框架的AI编程工具,通过多智能体协作实现软件开发的全流程自动化。它包含产品经理、架构师、工程师等五个AI代理,分工明确,从需求分析到代码生成无需人工干预。支持自然语言编程,用户仅需描述需求即可快速生成全栈应用,适用于个人开发者、企业、数据分析及教育等多个领域。

Arctic

Arctic是一款由云计算公司Snowflake的AI研究团队开发的高效且开源的企业级大型语言模型,拥有480亿参数。该模型采用混合专家模型(MoE)架构,结合了密集变换器(Dense Transformer)和128个专家的特点。Arctic在成本效益、训练效率和推理效率方面具有显著优势,特别适用于企业任务,例如SQL生成、编程和指令遵循。模型基于Apache 2.0许可发布,用户可以自由使用和