Альфа
Metalogos
Язык программирования для ИИ-приложений, где защита от типовых взломов встроена в сам язык
Гатова 2 з 6 · У працы: Ядро языка, интерпретатор и байт-код
Здымкі і макеты
Metalogos (mlog) — открытый язык программирования на Rust. Обращения к языковым моделям, память, обучение и самоадаптация в нём — конструкции языка, а не библиотеки. Язык рассчитан на тех, кто делает сайты, веб-сервисы, ботов и ИИ-агентов и хочет, чтобы SQL-инъекции, подмена HTML (XSS) и утечки секретов были невозможны или ловились до запуска. Опасные операции недоступны по умолчанию, у секретов и запросов к базе особые типы, а встроенный статический аудит проверяет программу на типовые уязвимости. Проект ведёт один владелец вместе с ИИ-агентами, и это открыто описано в репозитории.
Што ёсць
- Интерпретатор и более быстрая виртуальная машина с байт-кодом, результаты сверяются между собой
- Особые типы для секретов, запросов к базе и HTML — небезопасная склейка строк не проходит проверку
- Статический аудит безопасности (mlog audit) с именованными правилами
- Встроенный веб-сервер — маршруты, шаблоны, сессии, защита от CSRF, заголовки безопасности
- Конструкции для ИИ — вызовы моделей в песочнице, память с затуханием, обучаемые шаблоны
- Локальные нейросетевые контуры Reflex и Vision (генерация изображений с отметкой происхождения)
- Менеджер пакетов, языковой сервер, грамматика для редакторов, документация
- Подписанные релизные сборки с SBOM и проверяемыми контрольными суммами
Асаблівасці
- Безопасность как свойство языка, а не библиотеки — целые классы уязвимостей невозможно выразить
- «Громкая деградация» — если что-то не поддерживается, программа говорит об этом явно, а не молча подменяет результат
- Прозрачный процесс — сотни записей об архитектурных решениях, включая отвергнутые, и открытое раскрытие использования ИИ
Чаго яшчэ няма
- Независимый внешний аудит безопасности
- Полный паритет виртуальной машины и интерпретатора
- Реестр пакетов (сервер)
- Проверка генерации изображений на реальных весах модели
- Голосовой контур — пока только заготовка
- Полный самохостинг компилятора
Ход працы
- Ядро языка, интерпретатор и байт-кодУ працы
- Статический аудит безопасностиУ працы
- Веб-сервер, пакетный менеджер, языковой серверГатова
- Подписанные релизы с SBOMГатова
- Реестр пакетовУ планах
- Самохостинг компилятораУ планах
Наступны крок: Довести паритет виртуальной машины с интерпретатором.
Стэк
- Rust
- Metalogos
- Pest
- Axum
- Tokio
- rusqlite
- Candle
- Cranelift
- GitHub Actions
- Docker
- SQLite
- Signed releases with SBOM
- Configurable LLM providers (external and local)
- Reflex small local models
- Vision image generation