v0.27.0

What's Changed

• pipe setup subprocess stdio to fix #181 by @oOo0oOo in #182
• docs: add tool_timeout_sec to Mistral Vibe setup by @mertunsall in #184
• fix: use chunked read in lean_build to avoid buffer overflow on long lines by @mertunsall in #183
• Move tool list from README to docs/tools.md and add reference link by @Sfgangloff in #188
• Optional structured output for lean_goal by @Sfgangloff in #189
• feat(code_actions): fall back to full-line range when no actions found by @maorbenshahar in #197
• fix(multi_attempt): surface diagnostics introduced at distant lines by @maorbenshahar in #198
• feat(server): add lean_minimal_hypotheses tool by @Sfgangloff in #190
• Make lean_build cache fetch opt-in by @mertunsall in #200
• Updates the lean_leanfinder tool served by the Hugging Face endpoint by @mikeljl in #194
• doc(tunnel) Document Secure MCP Tunnel setup by @eliasjudin in #195
• docs: add guide for adding a new MCP tool by @Sfgangloff in #191
• Bump test project to Lean v4.30.0 by @oOo0oOo in #202
• Add flake.nix by @srghma in #199
• Fix severity schema for Gemini/Vertex function calling (#185) by @oOo0oOo in #203
• Skip rate limits for self-hosted search backends; raise LeanSearch limit by @oOo0oOo in #204
• Fix local loogle: search-path clobber and CLI flag drift (#193) by @oOo0oOo in #205
• Refactor: config module + split server.py into a tools/ subpackage by @oOo0oOo in #206
• Make the server type-check clean under ty + add ty to CI by @oOo0oOo in #207
• Bump dependencies (leanclient 0.11.0, mcp 1.27.2, lockfile) by @oOo0oOo in #208
• Fix release blockers: wheel packaging (tools/) + minimal_hypotheses no-binder case by @oOo0oOo in #209

New Contributors

• @mertunsall made their first contribution in #184
• @Sfgangloff made their first contribution in #188
• @srghma made their first contribution in #199

Full Changelog: v0.26.0...v0.27.0