欢迎加入 Explyt 团队，在中国举行的精彩盛会——2025 全球人工智能机器与电子博览会（AIE 2025） 与我们相会！
我们非常期待与中国的合作伙伴见面，并衷心感谢主办方的热情邀请。
本次活动是加强现有合作、拓展新伙伴关系、并深入了解中国开发者社区需求的绝佳机会。
如果你正在寻找可靠、先进的 AI 驱动开发、测试与调试解决方案，欢迎来到我们的展位。
Explyt 基于形式化方法构建，专为追求高准确性和高性能的开发者与测试工程师打造。
AIE 2025 将于 2025 年 12 月 4–6 日在以下两个地点同步举行：
展会采用全新的 “一展两城” 模式：
12 月 4–5 日向行业专业人士开放，12 月 6 日向公众开放。
我们期待在 AIE 2025 与你相见！
订阅
版本说明、工程深度文章以及像这样的新文章。不发垃圾邮件，可随时退订。
加载评论...
在 Explyt 5.7 中，我们重点让日常智能体工作流变得更顺畅、更可靠。 本次发布减少了那些最关键时刻的摩擦点：为智能体提供更完整的项目上下文、更轻松地切换模型、在临时失败后自动恢复，以及在后台命令运行时依然保持专注。 本次更新带来了聊天中的目录附件、直接集成在输入区域中的模型选择器、智能体出错时的自动重试、更少打扰的终端行为，以及可从聊天界面更快提交 Bug 反馈的能力。 这些改动共同让 Explyt 在日常开发中的使用体验更连贯、更稳健，也更舒适。 你现在不仅可以向聊天附加单个文件，也可以附加整个目录。 文件夹现已支持通过拖拽、最近附件列表，以及项目视图窗口中的 “Add to Attachments” 操作来添加。 点击这样的附件会在 IDE 中打开对应目录，并将该文件夹路径作为上下文传递给智能体。
Explyt Team4 分钟阅读在 Explyt 5.6 中，我们重点优化了影响日常开发体验的核心工作流，让你与智能体协作时更便捷、更透明、也更可控。 本次发布将提交信息生成功能直接带入 IDE；新增了对聊天选中文本的 Ask/Copy 操作；提供了面向新用户的引导课程；支持通过斜杠命令手动调用 Skills；并可清晰查看每次提问附带的技术上下文。 我们还让聊天中的图片分享更顺畅，支持 Ctrl+V 粘贴、拖拽上传，以及文件发送到模型前的自动压缩。 整体来看，这些更新减少了重复的手动步骤，让智能体行为更容易理解，并帮助你在真实开发场景中更高效推进工作。 你现在可以直接在常用 IDE 的提交窗口中让智能体生成 commit message。 生成按钮会显示在提交信息输入框旁边：智能体会分析当前变更 diff，并给出有意义的提交说明。
Explyt Team4 分钟阅读在 Explyt 5.5 中，与智能体协作变得更可控、更安全，也更易于扩展。 SKILLs 提供了对开放技能标准的完整支持：你可以将它们存储在项目中，在不同任务和工具之间复用，智能体也会在需要时自动应用合适的技能。 我们还引入了新的智能体模式：Plan 和 Review。 Auto Review 可以快速检查已生成的修改，Edit Scope 用于限制智能体的编辑范围，并且你现在可以创建适配特定角色和工作流的自定义智能体模式。 我们新增了对 Claude 4.6 Opus 的支持，并刷新了 UI。 我们完整支持开放的 SKILLs 标准（Skills）。 Skill 用于解决某一类具体而狭窄的任务，智能体会在需要时自动使用它。 你可以像视频中展示的那样，从新建聊天菜单中添加新的 Skill。 Skill 会以一组 Markdown 文件的形式存储在项目的 .
Explyt Team4 分钟阅读What impressed me most is how well the agent understands the existing project. Its plans fit naturally into what is already built, even when I am working outside my usual tech stack.
高级分析开发工程师 · DXC Technology
LSP gives an agent coordinates; the full IDE gives it the project model. That native IDE context makes all the difference on real Java code.
软件架构师兼 AI 委员会负责人 · Siemens
IDE-native stepping makes the difference on stateful Java applications.
软件工程师
将目录添加到聊天中，从输入栏选择模型，在临时失败后自动恢复，并在智能体工作时保持专注。
常见问题
