
aletheore/aletheore
Developer toolsこのページは AI により自動翻訳されています。技術的な詳細は原文をご確認ください。 原文を見る
エビデンスに基づくリポジトリ監査CLI - 決定性スキャナー、MCPサーバー、ライブダッシュボード、そしてPR差分を投稿するGitHubアクション。
概要
証拠に基づくリポジトリインテリジェンス その作業を示さなければならないコードインテリジェンス。決定論的スキャナーはリポジトリを読み取り、構造化された証拠を書き込みます。AI監査、PRボット、MCPサーバー、ダッシュボードなどのすべての下流機能がその証拠を引用しなければ、主張を行えません。 AletheoreのGitHubアプリをインストールしてください。同じエビデンスエンジンの上にホストされたPRレビュー、ダッシュボード、AIRviewドキュメントが使われます。無料のローカルCLIがお好みですか?以下を読み進めてください。 LLMコールもアカウントもネットワークアクセスも禁止で、脆弱性やライセンスレジストリの検索(完全にオフラインで実行する場合はこれらもオフにしてください)だけです。その1つのコマンドで、実際の依存関係グラフ、秘密スキャン、git履歴の秘密スイープ、依存脆弱性/ライセンスチェック、静的APIエンドポイントマップが得られます — について。 - AIが作成したすべての主張(監査報告書、PRレビューコメント、アーキテクチャウィキ)は、引用されたfile:lineと照合されます。実際の証拠と照合できない発見は、無言で発送されるのではなく、取り下げられるかフラグ付けされます。
概要(AI 翻訳)
証拠に基づくリポジトリインテリジェンス
コードインテリジェンスが自分の作業を示さなければならない。決定論的スキャナーがあなたのリポジトリを読み取り、 構造化された証拠を書き込む — すべての下流機能(AI監査、PRボット、MCPサーバー、 ダッシュボードはその証拠を引用しなければ、主張をすることができません。
AletheoreのGitHubアプリをインストールしてください。これは、同じエビデンスエンジンの上にホストされたPRレビュー、ダッシュボード、AIRviewドキュメントです。 無料のローカルCLIの方が好みですか?以下を読み進めてください。
LLMコールもアカウントも、脆弱性やライセンスレジストリの検索以外にネットワークアクセスもできません (完全にオフライン実行時にはこれらもオフにしてください)。そのコマンドだけで本当の依存関係が生まれます グラフ、シークレットスキャン、gitヒストリーのシークレットスイープ、依存脆弱性/ライセンスチェック、 静的APIエンドポイントマップ — Python、JavaScript/JSX、TypeScript/TSX、Go、Rust、Java、Kotlin用 Ruby、PHP、C、C++、C#、そしてSwift**。
なぜ
- 地に足のついたものであって、雰囲気ではない。 すべてのAIによる主張(
audit報告書、PRレビューコメント、 Architecture Wiki)は、引用されているfile:Lineと照合されます。これはあり得ない発見です 実際の証拠に照らされたものは削除またはフラグが立てられ、静かに発送されるわけではありません。
このページは AI により自動翻訳されています。技術的な詳細は原文をご確認ください。
README
以下は原文 README の抜粋です。原文を見る。
Understand your code. Trace the impact of a change.
Scan a repository into structured evidence, inspect its dependencies and ownership, and give coding agents and PR reviews concrete source context.
インストール
This server does not publish a one-line install command.
Open the repository installation guide MCP 初心者?mcpskill.org のガイドから始めましょう →