WHAT IT DOES

무엇을 하나요?

Keel은 각 인수 조건에 명령, 테스트, 스키마, doctest 또는 지정된 사람처럼 실패 가능한 판정 기준을 연결한다. 저장소별 지식을 여러 에이전트 지침 파일로 투영하고 사람의 편집을 덮어쓰지 않도록 해시로 보호한다. import 그래프에서 변경 영향 범위를 계산하며 실행 이벤트와 승인 결과를 아티팩트 해시에 결합해 다시 검증할 수 있게 한다.

KEY FEATURES

주요 기능

• 각 인수 조건에 실패 가능한 오라클 연결
• 세션을 넘어 유지되는 저장소별 지식 저장소
• 여러 에이전트 지침 파일로 지식 투영
• 8개 언어의 tree-sitter 기반 코드 구조 분석
• import 그래프 기반 변경 영향 범위 계산과 재검사
• 실행 이벤트 내보내기와 매니페스트 기반 재검증