📚 Stale docs available: The documentation from 2026-02-17T03:24:18-08:00 is still accessible.
Toolchain incompatibility: ✗ Toolchain too new: project uses leanprover/lean4:v4.29.0-rc1 but maximum supported is v4.28.0 Project uses leanprover/lean4:v4.29.0-rc1. Supported range: v4.24.0 to v4.28.0. To analyze this project, it must be updated to use a Lean version in the supported range.