Named after Aletheia (ἀλήθεια), Greek goddess of truth and unconcealment — literally un-forgetting. Linguistically the opposite of Lethe, the river of forgetfulness. Where Mnemosyne remembers what's true, Aletheia reveals what's false. Heidegger gave the word modern weight — aletheia as the unconcealment of being. Here it's the unconcealment of claims you can't back up, quotes that don't exist, references that point at the wrong paper, prose denser than it needs to be.

How it works

Aletheia reads a manuscript against its source corpus — your mnemo workspace — and against public bibliographic databases. It has seven checks, running locally except for the ones that genuinely need the corpus or the open web. Each check returns a concrete verdict with the exact location and a one-line explanation, not a score.

←Click a numeral to see the scene
sceneclick a step to begin
←
Click a numbered step to see what it would catch in this draft paragraph.

MCP tools

  • verify_claims(text, workspace) — decompose prose into claims, retrieve evidence from mnemo, verdict each as supported / contradicted / no_evidence / ambiguous.
  • verify_quotes(text, workspace) — pull every direct quote, find the passage in mnemo, fuzzy-match: verified / paraphrased / not_found.
  • find_unsupported_claims(text) — flag sentences that make truth claims without a citation.
  • check_grammar(text) — LanguageTool, ~5,000 rules.
  • check_dashes(text) / check_prose(text) — dash discipline + proselint.
  • check_references(bibliography) — Microsoft RefChecker against Semantic Scholar / OpenAlex / CrossRef / DBLP / ACL Anthology.
  • check_readability(text) — local textstat metrics.

Notable design notes

  • The centerpiece is verify_claims. Bibliography checkers catch fake references. Citation-network tools catch isolated citations. Neither catches a real, correctly-cited paper being used to support a claim the paper never actually makes. That's the failure mode Aletheia was built to surface.
  • Most checks run locally. Only verify_claims, verify_quotes, and check_references need external calls. Grammar, dashes, prose linting, and readability all run on the local LanguageTool sidecar or local Python libraries.
  • Pairs with mnemo. The two responses to Lethe: mnemo ingests and preserves; Aletheia verifies and reveals. Both fight forgetting from different directions.

Stack

  • FastMCP (Python)
  • Anthropic Claude (claims + quotes judge)
  • mnemo MCP (retrieval)
  • LanguageTool (self-hosted sidecar)
  • proselint
  • textstat
  • rapidfuzz
  • RefChecker (Microsoft)
  • Semantic Scholar / OpenAlex / CrossRef / DBLP / ACL Anthology
  • Docker Compose

Typical chain for a proposal: hyperion investigates the field → themis drafts and runs the simulated review panel → aletheia verifies every claim against mnemo before submission.