Skip to content

Download only the parts a tool uses - #48

Merged
odrobnik merged 2 commits into
mainfrom
claude/lean-fetch
Oct 7, 2026
Merged

Download only the parts a tool uses#48
odrobnik merged 2 commits into
mainfrom
claude/lean-fetch

Fetch requested UID sets compactly and check additional headers

adb85fb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar