juxt/allium

해결하는 문제

Allium은 장시간 세션 또는 다른 세션 간에 LLM이 원래 설계 목표를 잃어버리는 '의도 이탈(intent drift)' 문제를 해결합니다. 시스템이 해야 할 일(의도)과 실제로 하는 일(구현) 사이의 혼동을 방지하여 버그나 급작스러운 코딩 결정이 의도된 동작으로 오해되는 것을 막습니다.

작동 방식

Allium은 사용자가 코드와 함께 .allium 파일을 유지할 수 있는 행동 사양 언어를 도입합니다. 이 파일은 구현 세부 사항 없이 엔티티와 규칙(트리거, 사전 조건, 결과로 구성됨)을 설명합니다.

특정 기술을 통한 루프로 작동합니다:

• /elicit: 의도에 대한 대화에서 사양을 구성합니다.
• /distill: 기존 코드에서 사양을 추출합니다.
• /propagate: 사양 기반으로 테스트를 생성합니다.
• /tend: 요구사항 변경 시 사양을 편집합니다.
• /weed: 사양과 코드 간의 차이를 조율합니다.

보조 CLI는 구문 검증 및 구조적 검사를 수행하여(예: 데이터 흐름 추적, 도달 불가 경로 탐지) LLM이 자체적으로 신뢰할 수 없게 생성하는 형식적 검증 신호를 제공합니다.

대상 사용자

Claude Code, Cursor, Windsurf, Aider, GitHub Copilot과 같은 에이전트 기반 코딩 도구를 사용하면서 시스템 요구사항을 내구성 있고 형식적인 방식으로 기록하고, 구현이 의도와 일치하는지 검증하고자 하는 개발자에게 적합합니다.

주요 특징

• 행동 사양: 구현 세부 사항이 아닌 관찰 가능한 동작에 초점을 맞춥니다.
• 형식적 검증: CLI를 통해 글로벌 요구사항에서 놓치기 쉬운 설계적 결함과 모순을 포착합니다.
• 포터블 기술: 일반 Markdown 기술을 통해 40개 이상의 AI 코딩 환경에서 작동합니다.
• 양방향 워크플로우: 의도에서 코드로(사양 우선) 또는 기존 코드에서 형식적 사양으로(코드 우선) 이동할 수 있습니다.