Marketplace

lean4-tools

Stars

Forks

Plugins

Installation

Add the marketplace

/plugin marketplace add Beneficial-AI-Foundation/lean4-claude-plugin

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

GitHub Repository

Beneficial-AI-Foundation/lean4-claude-plugin

Plugins

Skills

Agents

Owner

@Beneficial-AI-Foundation

View GitHub Profile

Last Crawled

March 15, 2026

Plugin

Lean 4 language server for theorem proving