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 呼び出しなしで、アドホックな質問に答えたり、2 つのスキャンを比較したりします。 CI パイプラインやローカルデバッグのための高速で決定的なルックアップを提供します。
aletheore mcp 約 35 の組み込みツール(シンボル検索、所有権、デッドコード検出、セマンティック検索など)を公開するローカル MCP(マルチコンポーネントプロトコル)サーバーを起動し、コーディングエージェントが stdin/stdout を介してクエリできます。 外部 AI アシスタントがファイルを繰り返し読み取る代わりに、事前計算されたインデックスに対して作業できるようにします。
aletheore dashboard 依存関係グラフ、クラスタービュー、スキャン履歴の傾向、利用可能な MCP ツールを表示するライブ Web UI。 リポジトリの健全性と進化に関する視覚的な洞察を提供します。
GitHub Action 各 PR で scan + diff を実行し、新しいシークレット、脆弱な依存関係、規約違反に関するコメント/注釈を投稿します。 CI で証拠に基づくチェックを自動的に強制します。
ホスト型 GitHub App (AIR) 自動 PR レビュー、AI 生成ドキュメント、アーキテクチャマップ、エンドポイントモニタリングを追加する有料 SaaS レイヤーで、すべて同じ証拠ストアに支えられています。 請求とシート管理を備えたターンキーのホスト型ソリューションをチームに提供します。

典型的なワークフロー

  1. ローカルスキャン – aletheore scan . → .aletheore/air.json を作成します。
  2. アドホッククエリ – aletheore query "どの関数がデッドコードですか?"。
  3. 完全監査(オプションの LLM) – aletheore audit → 引用付きの Markdown レポート。
  4. CI 統合 – GitHub Action を追加して、PR で新しいシークレットや脆弱な依存関係を自動的に表面化します。
  5. オプションのホスト型アプリ – Aletheore GitHub App をインストールして、自動 PR レビューと AI 生成ドキュメントを利用します。

インストールとクイックスタート

# 分離された環境にインストール
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 サーバー経由)が必要な方。

リンク

関連

  • プロジェクト
  • プロジェクト
  • プロジェクト
  • プロジェクト