imandra

自动驾驶出行服务,在城市道路中实现无人执驾驶行

AI数据服务平台,标注文本、音频、图像、视频和三维数据并进行模型评测

开源硬件平台,提供传感器、通信模块与边缘计算设备用于原型开发

计算机视觉开发平台,管理数据集、训练模型并部署推理服务

浏览器扩展,自动记录屏幕活动与日志并生成缺陷报告

开发者效率平台,支持结构化代码评审与增量变更管理

KiloCode是一个开源的VS Code扩展，它融合了Cline和Roo Code的最佳功能，同时添加了独特的功能。该平台提供多种专业模式，包括用于复杂项目分解的编排器、用于解决方案设计的架构师、用于实施的代码模式和用于问题解决的调试模式。与传统的编码助手不同，KiloCode提供了一个全面的工具生态系统，包括文件系统操作、浏览器自动化、终端命令执行和MCP服务器集成。该扩展采用透明的定价模式，不收取佣金，并为高级模型（如Claude 4 Sonnet和Gemini 2.5 Pro）提供20美元的免费额度。

Qodo是一款全面的AI驱动平台，通过自动化代码生成、审查、测试和文档编写，提升开发者生产力。平台利用先进AI模型，提供精准代码建议、生成详尽测试用例、检测缺陷并辅助Pull Request评审。支持所有主流编程语言及IDE，贯穿软件开发全流程，强调代码完整性与安全性，适合个人开发者和团队高效维护高质量代码。

CodeRabbit是一款创新的AI驱动代码评审平台，通过为拉取请求提供智能、具备上下文感知的反馈，彻底改变传统代码评审流程。它可无缝集成至GitHub和GitLab仓库，实现自动化逐行代码评审，及时发现漏洞、提出优化建议并提升代码质量。平台具备对话式AI能力，开发者可在拉取请求中直接与Bot交流、提问并获得即时反馈。CodeRabbit会持续学习用户互动，随着时间推移不断优化建议，同时保障代码隐私与安全。

Tabnine是一款领先的AI编程助手，通过智能代码补全、自然语言聊天和自动化工具，助力开发者在主流IDE中加速软件开发。产品以隐私、安全和合规为核心，支持600多种编程语言和框架，能够适应个人及团队的编程风格。Tabnine提供灵活的部署选项，包括SaaS、VPC和本地部署，以满足不同组织的需求。其AI模型仅基于宽松许可的开源代码训练，确保用户的法律安全与数据隐私。

Cognition AI 推出了 Devin，这是一款开创性的AI软件工程师，能够自主规划、编写、调试、测试和部署代码。Devin 通过自动化日常及复杂的编码任务，提升工程团队生产力，减少人为错误，使开发者能够专注于更高层次的挑战。该平台可无缝集成现有工作流程，并通过实时反馈与项目管理工具支持协作。Cognition AI 提供个人、团队及企业级方案，满足不同开发者及组织在AI辅助软件工程领域的需求。

ChainGPT是一款专为区块链和Web3生态打造的AI基础设施，提供包括智能合约生成与审计、NFT创建、AI交易辅助和加密市场分析等丰富AI工具。平台基于区块链和加密数据训练的先进AI模型，为开发者、交易者、企业和爱好者提供实时、安全、易用的解决方案。ChainGPT的原生实用代币$CGPT用于解锁高级功能、参与质押奖励和去中心化治理。平台致力于推动区块链技术普及，同时通过API和SDK支持开发者集成，不断迈向AI原生区块链基础设施。