lean-lsp-mcp: httpx2 status

no httpx dependency (version 0.31.0, 784k downloads/month, since before tracking began)

Lean Theorem Prover MCP

Dependency	Kind	Spec	Extras
`mcp`	required	==2.0.0

PyPI · GitHub · issues mentioning httpx2

Badge

[![httpx2](https://img.shields.io/endpoint?url=https://rafal-one.github.io/httpx2-ready/badges/lean-lsp-mcp.json)](https://rafal-one.github.io/httpx2-ready/p/lean-lsp-mcp.html)

Declared dependencies (requires_dist of the latest release) of the most downloaded PyPI packages, refreshed daily. Unofficial, not affiliated with httpx, httpx2 or pydantic. Useful? Donate via PayPal · source (MIT)