调试

Kodezi Ai

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

Code Tutor

一个 GPTs商店的AI代码工具,旨在促进编程领域的学习。Code Tutor 的主要目的是为那些对编码感兴趣的人提供个性化的教练和导师,从初学者到更有经验的程序员。

MathModelAgent

MathModelAgent 是一款基于多智能体协作的数学建模工具,支持自动建模、代码编写、结果验证和论文生成。内置本地代码解释器,兼容多种大语言模型,适用于竞赛、科研、教学等场景,具备高效率与低成本优势。

Interview Coder

Interview Coder 是一款面向技术面试的 AI 工具,支持多平台和多种编程语言,能通过截图自动解析题目并生成代码解决方案,提供详细注释与优化建议,适用于在线编程面试及远程视频面试场景,提高面试效率和准确性。

DeepCoder

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

MCP.so

MCP.so是一个MCP服务器导航与托管平台,整合超3000个MCP服务器,支持本地和远程通信接入。用户可按需选择服务器类型并进行配置,提升AI模型的功能与效率。平台提供服务器目录、信息共享、在线调试及提交功能,助力开发者与企业高效利用AI资源,推动技术协作与创新。

START

START是由阿里巴巴集团与中科大联合研发的工具增强型推理模型,通过集成外部工具(如Python代码执行器)提升大型语言模型的推理能力。其核心在于“Hint-infer”和“Hint-RFT”技术,结合长链推理与工具调用,显著提高复杂数学、科学问题及编程任务的准确性和效率。该模型具备自我调试、多策略探索和自学习能力,适用于科研、教育、编程等多个领域,是首个开源的长链推理与工具集成模型。

WarriorCoder

WarriorCoder是由华南理工大学与微软联合开发的代码生成大语言模型,采用专家对抗机制生成高质量训练数据,无需依赖专有模型或数据集。它具备代码生成、优化、调试、推理及多语言支持等功能,在代码生成、库使用等任务中达到SOTA性能,适用于自动化开发、教育辅助及跨语言转换等场景。模型通过Elo评分系统和裁判评估确保训练数据质量,提升泛化能力与多样性。

We0

We0是一款开源AI代码编辑器,支持在浏览器中运行和调试代码,具备高保真设计还原功能,能将设计稿还原度提升至90%。兼容Vue、React、Next.js、Python、Java等主流开发框架,支持历史项目导入与微信小程序开发,适用于快速构建和部署AI应用。提供多平台支持,适合开发人员和产品经理高效协作。

Kodezi

Kodezi 是一款面向开发者的 AI 工具平台,基于命令行界面(CLI)提供代码自动调试、优化、语言转换、文档生成及自然语言驱动的代码生成等功能。它支持 30 种编程语言,可生成 OpenAPI 规范并托管 Swagger UI 站点,旨在提升代码质量和开发效率,同时优化团队协作与 API 开发体验。