Beneficial-AI-Foundation

2 repositories with Claude Code or Codex plugins.

lean4-tools1
Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving
1 plugin · Beneficial-AI-Foundation/lean4-claude-plugin
beneficial-ai-foundation0
Official plugin marketplace for the Beneficial AI Foundation
1 plugin · Beneficial-AI-Foundation/plugins