For developers and coding agents

Source-grounded repository intelligence from one command.

Install Aletheore from PyPI, scan a repository locally, and expose the same evidence to CLI queries, MCP tools, AIRview, dashboard views, and managed audits.

Install from PyPI View MCP tools

Quickstart

pip install Aletheore

aletheore scan .
aletheore query endpoints
aletheore dashboard

CLI workflow

Scan once. Query the evidence many ways.

The deterministic scan writes AIR, Aletheore's Intermediate Representation. Downstream commands read AIR instead of scanning blindly again.

Install and scan

pip install Aletheore
aletheore scan .

Builds .aletheore/air.json, .aletheore/air.toon, and history snapshots.

Audit locally or managed

aletheore audit .
aletheore audit . --managed

Use your own provider locally, or run a managed audit with an Aletheore API token.

Search and dashboard

aletheore index .
aletheore query search-codebase "auth flow"
aletheore dashboard .

Build a local semantic index, ask targeted questions, and inspect evidence visually.

Query subcommands

Ask precise questions without sending the whole repo.

Repository structure

imports imported-by symbols cluster branch changes

Risk and operations

secrets vulnerabilities licenses endpoints dead-code hotspots layer-violations

Code intelligence

database infrastructure environment-variables symbol-source search-codebase answer

Evidence resolution

evidence-for-endpoint evidence-for-symbol evidence-for-dependency ownership

MCP server

Give coding agents tools, not a giant prompt.

Aletheore's MCP server exposes repository evidence as structured, TOON-encoded tool results. Agents can ask for imports, owners, endpoints, symbols, semantic search, source evidence, and managed audits without pasting the whole repository into context.

aletheore mcp .

aletheore_scan aletheore_imports aletheore_imported_by aletheore_symbols aletheore_branch aletheore_ownership aletheore_secrets aletheore_vulnerabilities aletheore_licenses aletheore_endpoints aletheore_cluster aletheore_layer_violations aletheore_dead_code aletheore_hotspots aletheore_database aletheore_infrastructure aletheore_environment_variables aletheore_changes aletheore_neighborhood aletheore_search aletheore_symbol_source aletheore_find_evidence_for_endpoint aletheore_find_evidence_for_symbol aletheore_find_evidence_for_dependency aletheore_healthcheck aletheore_index aletheore_search_codebase aletheore_answer aletheore_managed_audit

Evidence contract

One source of truth.

Everything downstream reads the same deterministic evidence. AIRview, dashboard, query, MCP, and audits do not invent files, routes, symbols, or owners that are not present in AIR.

.aletheore/air.json

Canonical repository evidence: modules, symbols, dependencies, endpoints, architecture, security, ownership, and history.

.aletheore/air.toon

TOON-encoded evidence for agent-facing and model-facing contexts where token cost matters.

.aletheore/history/

Snapshots used for changes, drift, and continuity between scans.

Depth without mystery

Technical surfaces that stay evidence-first.

AIRview

Architecture maps

AI-written subsystem pages and dependency diagrams grounded in deterministic architecture clusters.

MCP

Agent context savings

Agents request focused evidence instead of dragging entire repositories into model context.

Security

Risk resolution

Secrets, vulnerabilities, dependencies, endpoints, and infrastructure findings trace back to source.

Health

Endpoint checks

aletheore healthcheck runs GET-only checks against mapped API endpoints and saves the result locally.

Local

Privacy by default

The CLI scan runs locally. Managed and hosted flows use derived evidence according to the selected workflow.