superpowers
claudecodexCore skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
obra/superpowers 316,836
claude
lean4-lsp
Lean 4 language server with automatic Lake project-root detection (works even when the session root is above the project), elan toolchain resolution, and multi-project routing. Bundles the lean-goal CLI for proof-goal state, sorry inventory, and fast diagnostics — plus a skill teaching the interactive proving workflow.
/
Plugin lean4-lsp from marketplace claude-lean4-lsp in LucianoXu/claude-lean4-lsp. Commands read from the repo's manifest — 4 days ago.
What it installs
Skills (1)
lean-interactive-provingUse when writing, fixing, or exploring Lean 4 proofs — establishes the interactive workflow of testing candidate tactics against the live server before editing, searching the imported environment for lemmas, and gating on lake build
Language servers (1)
lean
Similar plugins
context7
claudecodexUp-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
upstash/context7 64,709
cli-anything
claudeBuild powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.
5 commands
HKUDS/CLI-Anything 58,665
agent-browser
claudeAutomates browser interactions for web testing, form filling, screenshots, and data extraction
12 skills
vercel-labs/agent-browser 50,373
Open Code Review
codexUse Alibaba Open Code Review from local Codex.
2 skills
alibaba/open-code-review 50,068
slidev
claudeClaude Code skill for creating and presenting Slidev slidedecks
1 skill
slidevjs/slidev 49,452
Maintain lean4-lsp?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex pluginslisted