Beneficial-AI-Foundation/lean4-claude-plugin

Install

The repo has no one-line install. Follow its README.

Open the repo

Facts

Kind

Marketplace

Repo

Beneficial-AI-Foundation/lean4-claude-plugin

Group

Uncategorized

Plugins

1

More on this shelf

1. 1f/prompts.chatFf/prompts.chatf.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.
2. 2affaan-m/everything-claude-codeAaffaan-m/everything-claude-codeThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
3. 3obra/superpowersOobra/superpowersAn agentic skills framework & software development methodology that works.
4. 4anthropics/skillsAanthropics/skillsPublic repository for Agent Skills
5. 5anthropics/claude-codeAanthropics/claude-codeClaude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.
6. 6nextlevelbuilder/ui-ux-pro-max-skillNnextlevelbuilder/ui-ux-pro-max-skillAn AI skill that provides design intelligence for building professional UI/UX across multiple platforms.