Lean 4 Claude Code plugin with native LSP and 17 MCP tools for formal proof and theorem verification.
Plugin beneficial-ai-foundation-lean4-claude-plugin from marketplace cascade-code-languages-misc-2 in joshuarweaver/cascade-code-languages-misc-2. Commands read from the repo's manifest — 1 month ago.
No skills, commands, agents, hooks or MCP servers were found in the standard plugin folders.
Complete collection of Claude Code configurations for high-performance C++ development, including agents, skills, hooks, commands, and coding rules.
200 skills · 93 commands · 67 agents · 1 MCP server · hooks
Bootstrap Android app development using Kotlin with Claude's guidance for mobile application architecture.
73 skills · 25 commands · 1 agent
Skill providing Java development conventions including naming standards, exception handling, and Spring Boot best practices.
63 skills · 18 commands
Specialized Claude skill for advanced C++ development, architecture, and code optimization. Assists developers with modern C++ practices, performance tuning, and complex system design.
67 skills · 13 commands
14-skill plugin for AI-powered Salesforce development including Apex, Flow, LWC, SOQL, and Agentforce with 420+ validation points.
37 skills · 7 agents
Personal Claude Code plugin optimized for Nuxt, Vue, and TypeScript development workflows.
37 skills
Internal BizOps domain. v2.8.0 ships 7 skills: orchestrator + process-mapper (BPMN/bottleneck/cycle-time, Lean+TOC) + vendor-management (scorecard+SLA+3rd-party risk, NIST SP 800-161/ISO 27036) + capacity-planner (Erlang-C queueing math for ops teams, NOT engineering) + internal-comms (ADKAR+Kotter 8-step, NOT marketing) + knowledge-ops (SOP+runbook+KB hygiene with 5W2H, context: fork) + procurement-optimizer (UNSPSC spend categorization + supplier consolidation). Orchestrator uses context: fork to route inquiries via Matt Pocock grill discipline (one question per turn, recommended answer, canon-cited challenge). Every SKILL.md ships a Forcing-question library section. 18 stdlib Python tools, 24+ reference docs. Distinct from business-growth (external sales) and c-level-advisor (strategic).
7 skills · 8 commands · 1 agent
Product strategy skills for PMs: vision, strategy canvas, value propositions, lean canvas, business model canvas, SWOT, PESTLE, Ansoff Matrix, Porter's Five Forces, and monetization.
12 skills · 5 commands
Structured Lean 4 proof writing and library design following Mathlib conventions
1 skill
Guide teams through Lean UX Canvas v2 to frame problems and surface assumptions.
1 skill
The official MCP for agent-skills. Curated catalog, progressive disclosure flow: Search → load canonical SKILL.md → fetch only validated references. Safe, lean, zero config.
Product strategy and innovation frameworks including Jobs to Be Done (Clayton Christensen) for customer discovery and product design, tactical negotiation skills (Chris Voss), willingness-to-pay pricing (Monetizing Innovation), and startup metrics (Lean Analytics)
65 skills
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.