lean4-skills
starsforks
How to install lean4-skills?
cameronfreer/lean4-skills
$claude plugin marketplace add cameronfreer/lean4-skillsLean 4 workflow pack for AI coding agents. Gives your agent a structured prove/review/golf loop, mathlib search, axiom checking, and safety guardrails. The workflows are host-agnostic — Claude Code, Codex, Gemini CLI, Cursor, and others all use the same core skill; only the invoc
.claude-plugin/plugin.json
| 1 | # .claude-plugin/plugin.json |
| 2 | claude plugin marketplace add cameronfreer/lean4-skills |
People who liked this also viewed
6 picksType
- andrej-karpathy-skillsA single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.PluginsApr 2026
- claude-codeClaude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.PluginsJul 2026
- agent-skillsProduction-grade engineering skills for AI coding agents.PluginsJul 2026
- Understand-AnythingGraphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI, and more.PluginsJul 2026
- frontend-slidesCreate beautiful slides on the web using a coding agent's frontend skillsPluginsJun 2026
- claude-skills345 Claude Code skills & agent skills & plugins (30+ Agents, 70+ custom commands, 330+ skills, customizable references, scripts)for Claude Code, Codex, Gemini CLI, Cursor, and 8 more coding agents — engineering, marketing, product, compliance, C-level advisory, research, business operations, commercial & finance, and your daily productivity skills.PluginsJul 2026
