Об этом проекте

Calor — это язык программирования, разработанный специально для AI-агентов, который компилируется в .NET посредством генерации C#. Традиционные языки созданы для людей, что заставляет AI-агентов выводить семантическое значение — такие как побочные эффекты, контракты и границы области видимости — из неявного синтаксиса. Calor устраняет это несоответствие, делая эти элементы явными в самом языке. Основные принципы включают явное объявление эффектов (например, §E{cw, fs:r, net:rw}), полноправные пре- и постусловия (§Q и §S), опциональные стабильные идентификаторы для точного ссылания при рефакторинге, блоки на основе отступов для снижения стоимости токенов и операторы в стиле Lisp для машиночитаемой семантики. Этот дизайн жертвует сырой эффективностью токенов ради ясности семантики, позволяя агентам рассуждать о поведении кода, обнаруживать нарушения контрактов и выполнять точные правки без глубокого парсинга. Calor поставляется с полноправным языковым сервером (LSP), поддерживающим диагностику, переход к определению, ссылки, переименование, форматирование и семантические токены. Он также включает сервер MCP (Model Context Protocol), предоставляющий 19 инструментов для компиляции, верификации, навигации по коду, анализа, миграции, линтинга и помощи с синтаксисом, позволяя AI-агентам взаимодействовать напрямую с компилятором. Предусмотрена быстрая интеграция с Claude Code, OpenAI Codex CLI, Google Gemini CLI и GitHub Copilot, с автоматической настройкой инструкций проекта и параметров MCP. Проект открыт для вкладов, особенно в области бенчмаркинга, улучшения парсера и документации.