Hazmat е инструмент с отворен код, който стартира ИИ агенти за програмиране в рамките на отделен акаунт на Вашата собствена машина. Той обвива рамките, които хората използват: Claude Code, Codex, OpenCode, Cursor Agent и няколко други, плюс всеки скрипт, който напишете сами.
Агент, стартиран по обичайния начин, работи от Ваше име, което означава, че може да чете всичко, което Вие можете да четете. Това включва SSH ключове, идентификационни данни за облачни услуги и натрупаната с годините конфигурация в домашната Ви директория. Hazmat предоставя на агента собствена домашна директория и споделя само директорията на проекта, към която го насочите. Вашите ключове и папки с идентификационни данни остават извън обхвата на сесията.
Прочетете условията, преди агентът да стартира
Преди да стартира каквото и да било, една команда Ви показва условията на сесията. Тя изброява директорията, в която агентът може да пише, пътищата, които има право само да чете, дали може да осъществи достъп до мрежата или до някакви услуги, и дали първо се изпълнява резервно копие. Отделете десет секунди и ги прочетете. Тази разпечатка е последният момент, в който можете да видите до какво има достъп агентът, а всичко след това се случва, докато не наблюдавате.
При macOS стартирането извършва четири действия по ред: архивира проекта, изгражда политика за изолирана среда за тази конкретна сесия, превключва към акаунта на агента и след това стартира рамката. Дотогава вече е в сила правило на защитната стена. Linux работи нативно, а бекендът, използващ инструментите за контейнеризация на Apple, е зад експериментален флаг.
Можете да тествате границата за около една минута. Демонстрационен скрипт създава временен проект, изключва мрежата и изпълнява единична изолирана команда, която записва файл в този проект и се опитва да достъпи частен ключ в реалната Ви домашна директория. Записът се осъществява. Ключът се връща като нечетим, а последващото сравнение показва един нов файл в проекта и нищо друго незасегнато.
Около 5,5 процента от кода е формална спецификация, написана на TLA+ – език за описване на това как трябва да се държи една система, така че описанието да може да бъде проверено от машина. На тази база проектът нарича своя дизайн „верифициран“. Това, което е проверено, е моделът на изолиране на хартия, а Go компилираният файл, който инсталирате, е отделна разработка със свои собствени грешки.
Hazmat е достъпен безплатно в GitHub.