leantext: up to 99% fewer tokens when your coding agent reads the web

An open-source tool that turns docs pages, PDFs and screenshots into lean Markdown before your agent reads them, and steps aside when it can't do that safely.