v0.17.0

What's Changed

• perf: early-exit ripgrep search by @eliasjudin in #74
• fix: Return structured objects from list-returning tools by @jessealama in #81
• Add CI workflow for linting and testing by @jessealama in #87
• Fix silent failures in MCP tools by @jessealama in #85
• Add project-specific library indexing for local loogle by @alok in #80
• feat: Return structured goal lists from lean_goal tool by @jessealama in #89
• Various speedups from leanclient 0.7.0

Full Changelog: v0.16.0...v0.17.0