Agent skills for Lean programming language and theorem prover. Covers proofs, toolchain setup, bisection, and formal verification workflows.
Plugin leanprover-skills from marketplace cascade-code-languages-misc-2 in joshuarweaver/cascade-code-languages-misc-2. Commands read from the repo's manifest — 1 month ago.
lean-bisectBisect Lean toolchain versions to find where behavior changes. Use when trying to identify which Lean 4 commit caused a regression or behavior change.
lean-mweCreate minimal working examples (MWEs) from Lean errors for bug reports. Use when minimizing a Lean error, creating an MWE, or preparing a bug report for lean4 or mathlib4.
lean-prPR conventions for the leanprover/lean4 repository. Use when creating pull requests, writing commit messages, or following project conventions for Lean contributions.
lean-proofUse when asked to prove something in Lean. Covers one-step-at-a-time proving, error priority, working on the hardest case first, proof cleanup, and handling dependent type rewriting issues.
lean4-setupSet up a lean4 repository clone with proper elan toolchains.
mathlib-buildBuilding Mathlib
mathlib-prPR conventions for leanprover-community/mathlib4. Use when creating pull requests, writing commit messages, or managing labels for Mathlib contributions.
mathlib-reviewReview guidelines for Mathlib PRs. Use when reviewing pull requests, checking code quality, or assessing whether a PR is ready to merge.
nightly-testingUnderstanding the Lean/Mathlib nightly testing infrastructure. Use when working on toolchain bumps, adaptation PRs, or investigating nightly CI failures.
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 innovation and validation frameworks including Lean Startup methodology, Google Ventures Design Sprint, and Don Norman's design principles
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.