Claude Code：Anthropic 推出的命令行AI编程助手，长上下文驱动的全链路开发协作工具
Claude Code是Anthropic推出的终端智能编码代理，基于大上下文Claude模型与MCP工具协议，可深度理解代码库架构，通过自然语言自主完成文件编辑、调试、Git管理、重构等复杂...
Leanstral：Mistral AI开源的Lean 4代码智能体，高效实现形式化证明与代码验证
Leanstral是Mistral AI推出的首款专为Lean 4打造的开源代码智能体，以6B激活参数的高度稀疏架构实现高效的形式化证明与代码验证能力。该智能体可在真实的形式化代码仓库中运...
LocoOperator：LocoreMind 推出的 4B 级本地代码库探索 AI 智能体
LocoOperator-4B是LocoreMind团队开源的一款专用代码探索子代理模型，属于轻量级代码智能体（Code Agent），它以Qwen3-4B-Instruct-2507为基座，通过知识蒸馏方式学习Qwen3...