Aletheore/Aletheore
Open source (AGPL-3.0) evidence-grounded repository audit CLI - deterministic scanner, MCP server, live dashboard, and a GitHub Action that posts PR diffs.
Aletheore – 증거 기반 저장소 인텔리전스
정의 – Python 기반 CLI(및 선택적 호스팅 GitHub App)로, 코드 저장소를 스캔하고 결정적 증거 저장소를 구축하며, AI 에이전트나 인간이 감사, PR 검토, 보안 검사, 아키텍처 문서를 위해 해당 증거를 쿼리할 수 있게 합니다. 모든 발견 사항은 정확한 file:line 위치에 연결되므로 AI가 생성한 모든 주장을 검증할 수 있습니다.
핵심 기능
| 기능 | 설명 | 중요성 |
|---|---|---|
aletheore scan |
tree-sitter를 사용하여 소스 코드(Python, JS/TS, Go, Rust, Java, Kotlin, Ruby, PHP, C/C++, C#, Swift)를 파싱하고, 모듈 의존성 그래프를 구축하고, Git 기록을 추출하고, 비밀 스캔을 실행하고, OSV.dev에서 취약한 의존성을 확인하고, API 엔드포인트를 매핑합니다. | 다른 모든 것의 사실적 기반이 되는 단일 재현 가능한 JSON(air.json)을 제공합니다. |
aletheore audit |
scan을 실행한 다음 증거를 코딩 에이전트(Claude, OpenAI, Google, Mistral, xAI 또는 로컬 Ollama)에 제공하여 기본 증거를 인용하는 Markdown 감사 보고서를 생성합니다. |
PR에 게시할 수 있는 인간이 읽을 수 있는 검토를 제공하면서 추적 가능성을 유지합니다. |
aletheore query / diff |
재스캔이나 LLM 호출 없이 임시 질문에 답하거나 두 스캔을 비교합니다. | CI 파이프라인 또는 로컬 디버깅을 위한 빠르고 결정적인 조회를 제공합니다. |
aletheore mcp |
약 35개의 내장 도구(기호 조회, 소유권, 죽은 코드 감지, 의미 검색 등)를 노출하는 로컬 MCP(다중 구성 요소 프로토콜) 서버를 시작하며, 코딩 에이전트가 stdin/stdout을 통해 쿼리할 수 있습니다. | 외부 AI 어시스턴트가 파일을 반복적으로 읽는 대신 사전 계산된 인덱스에 대해 작업할 수 있게 합니다. |
aletheore dashboard |
의존성 그래프, 클러스터 보기, 스캔 기록 추세 및 사용 가능한 MCP 도구를 표시하는 라이브 웹 UI. | 저장소 상태와 진화에 대한 시각적 통찰력을 제공합니다. |
| GitHub Action | 각 PR에서 scan + diff를 실행하여 새 비밀, 취약한 의존성 및 규칙 위반에 대한 댓글/주석을 게시합니다. |
CI에서 증거 기반 검사를 자동으로 강제합니다. |
| 호스팅 GitHub App (AIR) | 자동 PR 검토, AI 생성 문서, 아키텍처 맵 및 엔드포인트 모니터링을 추가하는 유료 SaaS 계층으로, 모두 동일한 증거 저장소에 의해 지원됩니다. | 팀에 청구 및 시트 관리를 포함한 턴키 호스팅 솔루션을 제공합니다. |
일반적인 워크플로우
- 로컬 스캔 –
aletheore scan .→.aletheore/air.json생성. - 임시 쿼리 –
aletheore query "어떤 함수가 죽은 코드인가요?". - 전체 감사(선택적 LLM) –
aletheore audit→ 인용이 포함된 Markdown 보고서. - CI 통합 – GitHub Action을 추가하여 PR에서 새 비밀 또는 취약한 의존성을 자동으로 표시합니다.
- 선택적 호스팅 앱 – 자동 PR 검토 및 AI 생성 문서를 위해 Aletheore GitHub App을 설치합니다.
설치 및 빠른 시작
# 격리된 환경에 설치
pipx install aletheore # 또는: pip install aletheore
# 현재 저장소에서 스캔 실행
aletheore scan .
# 생성된 증거 보기
cat .aletheore/air.json
이 도구는 오프라인으로 작동합니다. 유일한 네트워크 호출은 선택적 취약점/라이선스 조회(비활성화 가능)입니다.
라이선스 및 사용
- 라이선스 – PolyForm 비상업적 라이선스 1.0.0. 개인, 연구 또는 취미용으로 무료입니다. 상업적 사용(회사 내부 도구 포함)에는 유료 라이선스가 필요합니다.
- 상업 계층 – 호스팅 GitHub App은 최대 3명의 사용자에 대해 월 $29.99부터 시작합니다. 추가 좌석은 월 $6.99입니다.
- 후원 – 개인 기여자는 GitHub Sponsors를 통해 저자를 후원할 수 있습니다.
누가 혜택을 받을 수 있나요?
- 개인 개발자 – 코드를 외부 서비스로 보내지 않고 결정적 저장소 분석을 원하는 분.
- 팀 – 감사 가능하고 추적 가능한 AI 지원 PR 검토를 찾는 분.
- 보안 엔지니어 – 비밀 유출 감지 및 취약점 매핑을 CI에 통합해야 하는 분.
- 도구 빌더 – 사용자 정의 코딩 에이전트를 위한 빠르고 로컬 지식 기반(MCP 서버를 통해)이 필요한 분.
링크
- PyPI – https://pypi.org/project/aletheore/
- GitHub 저장소 – https://github.com/Aletheore/Aletheore
- 벤치마크 – https://github.com/Aletheore/aletheore-benchmarks
- 호스팅 앱 – https://aletheore.com
- 문서 –
src/README.md(전체 명령 참조, 구성, 충돌 보고 설정)
관련
- 프로젝트
- 프로젝트
- 프로젝트
- 프로젝트