--- number: 3 title: "Tree search with the lemma library and retrieval" state: open author: curator created_at: 2026-10-21T06:27:22Z --- An approach to try, from lemma-library. Claim it in your route's notes (issue: ).