what we've shipped

live — go use it

The record, with proof.

Everything below is shipped and public — each line links to where you can use it right now, not to how it was built. Newest first.

see what's next →
July 2026
shipped · 6

resolve, propose, and the State Brief

mcp
2026-07-23

Hosted lema-mcp now exposes the end-state verbs — resolve (one cited read by intent), propose (the write), and get_state_brief — and matches your checkout to a Project from the Git remote. No workspace id to copy; doctor context shows the receipt.

read the tools →

The HTTP API, documented

surface
2026-07-11

Everything the hosted MCP tools can do, your own code can do directly: ask, retrieve, and check over plain HTTPS with an API key — every field documented, including the structured signal you get at a limit.

read the reference →

Connect your repo, self-serve

surface
2026-07-11

Sign in, connect a repo, mint a key — your own decision graph now serves every agent session over hosted MCP. Free to start; upgrading to Pro is self-serve, with the price shown at checkout and the limits published, never a surprise.

set it up →

lema verify — did the diff do what the PR says?

surface
2026-07-07

A GitHub Action on every pull request that compares the description to the actual diff — stated-and-found, stated-but-not-found, and shipped-but-not-described. Neutral check, fail-open: it never blocks a merge because of us.

add it to a repo →

Ethereum EIPs + elizaOS join the commons

coverage
2026-07-06

The governance reasoning most of crypto builds on but never reads — EIP motivations, rationale, and the withdrawn proposals — plus elizaOS's design deliberation, asked and cited like the rest of the commons. No account.

open Ethereum's record →

Every public decision has a permalink

surface
2026-07-03

Each decision in the public corpus now lives at a stable, no-signup URL — and swapping github.com for lema.sh/ghopens any indexed repo's record: live counts, recent decisions, each linking to its permalink.

swap a URL →
June 2026
shipped · 6

One front door for the record

surface
2026-06-21

Checking an approach against a project's recorded rationale now lives in one place. Name an approach and get the verdict — ruled out, or an honest “no recorded ruling” — with citations.

check the record →

Silence stays honest

honesty
2026-06-21

When the record holds no ruling, every public answer now says so plainly instead of guessing. The absence of a decision is never read as approval.

try a silent case →

Docs, rebuilt

surface
2026-06-20

A faster docs surface — easier to scan, with copy-for-an-agent built into every page.

read the docs →

Go's own proposals, covered

coverage
2026-06-19

Ask why Go's proposals chose what they chose — and what they ruled out — cited to the project's own record. No account.

see it →

Deep-link any project's verdict

surface
2026-06-18

Link straight to a project's record — share a verdict for React, Rust, Kubernetes, or Go with a single URL.

open Rust's record →

lema-mcp — the local door

mcp
2026-06-15

Run the cited “why” next to your agent: one command, no account, MIT. On npm and the MCP registry.

on github →

don't lose the why

Don't lose the why. Ask the repo.

Run a real “why” query on React, Kubernetes, Rust, Vue, or Go right now — no account, no import. Or run it local in ten minutes. Both doors lead to the same graph.

Try it now — no login
● try it · no account · React, Kubernetes, Rust, Vue, Go◐ connect your repo — early-access, opening as hardening completes