calor

Calor 是一种专为 AI 编码代理设计的编程语言，通过 C# 编译为 .NET。传统的语言是为人类构建的，迫使 AI 代理从隐式的语法中推断语义意义——例如副作用、契约和作用域边界。Calor 通过在语言本身中显式化这些元素来消除这种不匹配。 核心原则包括显式的效果声明（例如，§E{cw, fs:r, net:rw}）、一等的前置条件和后置条件（§Q 和 §S）、用于跨重构精确引用的可选稳定标识符、用于降低令牌成本的基于缩进的块，以及用于机器可读语义的 Lisp 风格运算符。这种设计用语义清晰度换取了原始的令牌效率，使代理能够推理代码行为、检测契约违反，并执行精确的编辑，而无需深度解析。 Calor 附带一个一等的语言服务器（LSP），支持诊断、跳转到定义、引用、重命名、格式化和语义令牌。它还包括一个 MCP（模型上下文协议）服务器，暴露了 19 个用于编译、验证、代码导航、分析、迁移、linting 和语法帮助的工具，允许 AI 代理直接与编译器交互。为 Claude Code、OpenAI Codex CLI、Google Gemini CLI 和 GitHub Copilot 提供了快速启动集成，并自动配置项目指令和 MCP 设置。该项目欢迎贡献，特别是在基准测试、解析器改进和文档方面。