Show HN: TinySearch – token-efficient web research for local AI agents | Dark Hacker News