🔌
Plugins
Loading...
Showing 30 of 23036 results
Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit
PATH-resident scripts replacing token-wasteful raw commands (gh pr view, git diff, tsc, vitest) with single, bounded, exit-code-structured calls. Discovers user- and project-level tool extensions and surfaces a unified manifest at SessionStart.
Guide teams through Lean UX Canvas v2 to frame problems and surface assumptions.
Analyze the current session and extract key learnings into CLAUDE.md files and memory system
Interactive learning commands to help users understand code deeply
AI-assisted self-learning for senior engineers: advise-level depth, mandatory origins/evolution context, challenge-based practice, and in-repo spaced-repetition retention.
Turn any learning intent into a personalized Coursera experience. Asks three quick questions (topic, familiarity, preferred format), searches Coursera's catalog, and delivers the right next step — a course, hands-on project, short video, or live roleplay — then maps a path forward. Requires the Coursera connector for catalog tools.
Self-improving rule corpus mined from Claude Code hooks. Surfaces approved lessons before each task, reinforces rules that hold, decays stale ones. Self-contained — no extra install needed.
from princespaghetti/claude-marketplace
Mémoire d'expérience et rétro-amélioration contrôlée — runs → leçons, propositions de mises à jour de skills et classements de stratégies, avec tests et validation humaine avant promotion.
Generate a self-contained, offline-first, interactive HTML learning guide for any artifact — codebase, planning session, refactor plan, or generic input — via an analyze → render flow with a JSON tour-spec contract
Interactive learning mode that requests meaningful code contributions at decision points (mimics the unshipped Learning output style)
Interactive learning mode that requests meaningful code contributions at decision points (mimics the unshipped Learning output style)
Interactive learning mode that requests meaningful code contributions at decision points (mimics the unshipped Learning output style)
Turn text, notes, code, or images into Anki flashcards built on Andy Matuschak's prompt-writing principles
Lee Kuan Yew — pragmatist test, incorruptibility lock. Grounded in From Third World to First.
Legacy modernization team — 4 agents (modernization-strategist, codebase-archaeologist, refactoring-engineer, migration-engineer) for safely changing a working-but-aging system: assess the estate and choose among the 6 R's (retain/rehost/replatform/refactor/rearchitect/replace), understand undocumented code and find its seams, characterize behavior before touching it, strangle the monolith incrementally behind an anti-corruption layer, migrate data with dual-write/parallel-run, and cut over with a tested rollback. 5 skills, a knowledge bank with Mermaid decision trees + a dated 2026 capability map, 8 best-practices, 4 templates, 4 commands, 1 advisory hook. Seams: backend redesign -> backend-engineering, schema migration mechanics -> database-engineering, deploy/cutover automation -> devops-cicd, test-suite buildout -> qa-test-automation. Inherits ravenclaude-core protocols.
Speed up contract review, NDA triage, and compliance workflows for in-house legal teams. Draft legal briefs, organize precedent research, and manage institutional knowledge.
Trademark conflict research and regulatory compliance assessment for software products. Covers naming risks, GDPR, US state privacy laws, and other applicable frameworks.
Speed up contract review, NDA triage, and compliance workflows for in-house legal teams. Draft legal briefs, organize precedent research, and manage institutional knowledge.