Open source
ldgr
The durable work ledger agents use to continue complex tasks across interruptions, context resets, and handoffs.
Open-source `ldgr`
Give agents a durable place to stand.
Start with core, add research discipline, and inspect the public ProgramBench proof. No account, machine activation, or runtime phone-home.
Open source · alpha
ldgr-research
A research discipline for agents: programs, hypotheses, experiments, facts, evidence, and readiness gates.
Open source
ldgr-programbench
The inspectable proof adapter for four retained LDGR-assisted ProgramBench reproductions.