claude-lean4-lsp

Gleam language server

Draft and submit bug reports, feature requests, and insights for lean4-skills as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft before confirming.

Skills for developing with Lean 4 and Mathlib — proof methodology, toolchain setup, bisection, and more

Prove, clean up, golf, and bring Lean 4 code up to mathlib standards

Rust language server

Validation and quality enforcement for Tailwind CSS projects with comprehensive utility-first CSS patterns and best practices.