Evidence-driven code intelligence

AI code intelligence that has to show its work.

Aletheore reviews, audits, and monitors repositories with every finding traced back to source evidence: file, line, symbol, owner, commit, dependency, and risk.

Open source Local-first CLI Hosted GitHub App
Production alert
Resolved to code
GET /v1/users is down
handled by controllers/user.controller.ts:42
Symbol
listUsers
Owner
@platform
Commit
8f42c91
Risk
High
Most tools say it failed. Aletheore shows where it is handled, who owns it, and what changed.

Every alert, review, audit, and query resolves back to:

file line symbol owner commit dependency risk

Why it is different

Most AI tools summarize. Aletheore resolves.

Aletheore starts with deterministic repository evidence, then lets AI reason only over what the scanner can prove. The result is friendlier than raw static analysis and more trustworthy than a generic AI summary.

What it covers

One evidence layer. Four useful surfaces.

Run locally with the CLI, install as a GitHub App, or give coding agents a smaller evidence context through MCP.

01

Code Review

Automatic PR comments and Flash reviews on every push, independently re-checked by a second model on AIR before you see them, plus managed audits and branch-protection checks that cite the changed file and line.

  • Review only what changed
  • Catch secrets before merge
  • Keep findings source-grounded
02

Repository Intelligence

Architecture clusters, dependency graphs, hotspots, owners, dead code, and AIRview — auto-generated architecture maps — from the same canonical evidence.

  • Understand unfamiliar repos faster
  • Map systems without hand-written docs
  • Give agents precise context
03

Security & Dependencies

Secrets, vulnerable packages, licenses, infrastructure, database usage, and AI usage are detected before an audit is written.

  • 13 language ecosystems
  • No fake coverage or invented signals
  • Risk tied to code evidence
04

Production Monitoring

Source-mapped endpoint health checks alert when a route breaks and point back to the handler that owns it.

  • Reachability and latency checks
  • Slack and Teams alerts
  • Status data grounded in source

Docs

Nobody wants to write the docs. So nobody has to.

Every team says "we'll document it later," and later never comes - the code always outruns the wiki. Aletheore AIR writes the docs instead: grounded, per-symbol descriptions generated straight from your real source, kept current automatically, with zero engineer hours spent typing a docstring nobody wanted to write. Export the whole set as a single Markdown file whenever you need it outside the dashboard.

How Docs stays honest

Generated from your code. Never invented.

Same evidence-grounded discipline as every other Aletheore surface - AI only describes what the scanner can prove exists.

01

Written as you push

Every push to an open pull request, Flash drafts a description for any public symbol that's still missing one - batched per changed file, so docs never fall behind the code.

02

Fully documented on day one

The moment you connect a repo, Pro runs a full first pass across everything already public, so you're not starting from a blank docs page.

03

Marked, never mistaken for yours

Every AI-touched description is grounded in the real source snippet and carries an explicit AI-generated or AI-polished marker - never silently presented as something a developer wrote.

04

Self-healing by design

Progress is saved symbol by symbol, so one failing file never costs the ones that already succeeded. A 48-hour sweep automatically finishes any repo with real commit activity since its last pass.

How teams use it

Start local. Then let the GitHub App keep watch.

$ aletheore scan

Build the evidence

Tree-sitter and git history produce air.json and air.toon. No LLM in the scan path.

$ aletheore query

Ask grounded questions

Query architecture, owners, dependencies, endpoints, secrets, hotspots, and semantic search from one evidence file.

on: pull_request

Review every change

The GitHub App comments on PRs, gates new secrets, and can run managed audits or Flash reviews on paid plans.

GET /health

Monitor what shipped

Live endpoint checks alert on outages and latency regressions with source handler context.

Installable today on any GitHub account or organization you administer - the public Marketplace listing is still under GitHub's review, so this direct link is the way to find it for now.

PROOF

Scanned for real. Not a mockup.

Three real public repositories, actually scanned by aletheore scan at pinned commits. The numbers below are read directly from that output. Read the full writeup, findings and all →

That is what Aletheore finds on its own. For how it measures up against a real competitor - locating code, generated docs, PR review, wins and losses both - see the full benchmarks →

Django

Python · full git history

    @ 3d34265

    Express

    JavaScript · real npm dependencies

      @ ae6dd37
      Real stress test

      The Linux kernel.

      Not a curated sample - the actual torvalds/linux repository, cloned in full and scanned end to end: 94,849 files, 8.2GB, 1.46 million commits.

      Files parsed
      64,634
      C files
      36,851
      C++ / header files
      26,887
      Dependency edges
      71,929
      Architecture clusters
      29,428
      Commits analyzed
      1,463,552
      License issues found
      0
      Known vulnerabilities
      0
      Scan time
      4m 20s
      Evidence size
      180MB → 74MB TOON

      Dependency graph of net/openvswitch - generated by Aletheore straight from the parsed source, no LLM involved.

      datapath.h flow.h vport.h datapath.c vport-netdev.h actions.c flow_netlink.h
      @ 48a5a7a

      The same data, TOON-encoded.

      Measured against Aletheore's own air.json/air.toon pair from a real self-scan - the exact data the MCP server and audit's coding-agent adapter read.

      45.5%
      fewer tokens
      55.5%
      smaller on disk

      Now try it on your own repo.

      Paste a public GitHub repo below. It runs the real deterministic scanner in an isolated sandbox - no signup, nothing installed on your machine, and the clone is destroyed the moment the scan finishes. One free run every 20 minutes; repos over 400MB need the CLI instead.

      Humanist tools for a technical world.

      Nothing leaves your machine when you run the deterministic local scan. Bring your own API key for AI-assisted audit reports, or skip them entirely: the evidence pipeline stands on its own.

      • Open source and local-first.
      • Query, diff, dashboard, MCP, and reports all read the same evidence.
      • Hosted paid-plan features use derived evidence, not raw source storage.
      $ aletheore scan .
      Scanning /Users/you/your-repo...
      Detecting languages, frameworks, and build tools
      Building module dependency graph
      Checking dependency vulnerabilities
      Evidence written to .aletheore/air.json
      Snapshot saved to .aletheore/history/