LeanProbe 0.2.2

What's Changed

• Added lean_probe_capabilities MCP tool for reporting LeanProbe readiness, project-root detection, selected REPL path, and live session state.
• Added lean-probe capabilities CLI command with matching readiness output.
• Documented how LeanProbe complements LSP-backed Lean MCP tools such as lean-lsp-mcp.
• Updated tests for the new MCP and CLI capability surfaces.

Validation

• python -m pytest -q
• python -m ruff check .
• python -m build
• python -m twine check dist/*