arXiv Artificial Intelligence· Elizaveta Zinovyeva, Aiham Taleb, Nikita Kozodoi, Daniel Schleicher, Amir Mahdi Namazi, Martin Kraus, Levent Kent, Brian Jensen·· 19 小时前AI 评分38
面向安全关键汽车软件工程的编码助手：基于 MCP 的生成、编辑与验证人机协作
Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering
AI 导读
研究者为汽车 C/C++ 开发了一款编码助手，通过 Model Context Protocol 向用户开放 generate、edit、verify 三个工具，让开发者可按需对任意代码运行 verify，而非依赖智能体自查输出。
来源：arXiv Artificial Intelligence · arxiv.org