Enables AI coding agents to write and verify formal proofs in Lean 4, combining theorem proving with automated code generation for mathematically rigorous development.
Plugin cameronfreer-lean4-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.
lean4Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving a Lean statement, or learning Lean 4 con
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
Multi-agent swarm coordination, memory management, SPARC methodology, and intelligent hooks for Claude Code. Provides 60+ skills, 100+ commands, and 80+ specialized agents.
hooks
Build, deploy, and operate AI agents on AWS. Skills for scaffolding agents with Amazon Bedrock AgentCore, connecting tools, memory, policies, evaluation, debugging, and production hardening.
8 skills · 1 MCP server
Connects Claude Code to the Synthflow AI voice-agent platform through its hosted MCP server, with skills for reviewing calls and auditing agent prompts, plus a docs-search connector.
7 skills · 2 MCP servers
Discover, compare, audit, repair, adapt, and design repeatable AI-agent loops with explicit triggers, actions, verification, stopping conditions, guardrails, and handoffs. Vendored verbatim from the Forward Future Loop Library (MIT).
1 skill
Persistent project planning files with lifecycle hooks that inject selected plan context. Automatic recovery uses project files only. Explicit catchup modes may read same-project local session records to emit aggregate counts or bounded nonce-framed excerpts. Optional gated mode can request continuation on capable hosts and never runs commands declared in Markdown. No network upload path. Installs across 60+ agents.
6 skills · 13 commands · hooks
The backend platform for AI-native developers. A Postgres-based backend with auth, storage, compute, hosting, and AI gateway — built for coding agents. This plugin gives agents the full InsForge surface: database CRUD with RLS, authentication, storage, edge functions, AI, realtime, Stripe payments, and deployments. Includes CLI infrastructure management, debugging diagnostics, and integration guides for third-party auth providers (Auth0, Clerk, Kinde, Stytch, WorkOS).
4 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.