Lean 4 language server for theorem proving
/plugin marketplace add alok/lean4-claude-plugin/plugin install lean4@lean4-toolsEasily create hooks to prevent unwanted behaviors by analyzing conversation patterns
Frontend design skill for UI/UX implementation
Adds educational insights about implementation choices and codebase patterns (mimics the deprecated Explanatory output style)
Migrate your code and prompts from Sonnet 4.x and Opus 4.1 to Opus 4.5.