编程工具

OpenAI 发布 Codex Plugin for Claude Code，让你在 Claude Code 里直接呼叫 Codex 执行跨模型代码审查。本文介绍三个指令的用法、安装流程，与官方文档的定价和用量说明。

Mistral AI 发布首个开源 Lean 4 代码代理 Leanstral，让 AI 既能写代码又能自证正确性。这次我们聊聊形式化验证和 AI 编程的那些事儿。

手把手教你用 Skills 功能，让 Codex 和 Claude 从啥都懂一点的通才，变成只听你话的专属助手。

深入了解 OpenAI Codex 的 Skills 功能，学习如何配置和使用技能，让你的 AI 编程助手从通用选手变成特定领域的专家。