🎯

lean4-memories

🎯Skill

from cameronfreer/lean4-skills

Installation

Vibe Index InstallInstalls to .claude/skills/

$npx vibeindex add cameronfreer/lean4-skills --skill lean4-memories

skills.sh Install⚠ Installs to .agents/skills/

$npx skills add cameronfreer/lean4-skills --skill lean4-memories

Manual InstallCopy SKILL.md content and save to the path below

path

~/.claude/skills/lean4-memories/SKILL.md

📦

Same repository

cameronfreer/lean4-skills(7 items)

lean4-memories

SKILL.md

9Installs

318

Last UpdatedJul 4, 2026

View on GitHub Back to Skills

More from this repository6

🔌

lean4-theorem-proving🔌Plugin

Claude Code plugin for automated Lean 4 theorem proving with guided and autonomous proving commands. Includes sorry-filling, proof optimization (golf), quality review, and verified checkpoint workflows.

🔌

lean4-subagents🔌Plugin

Part of the unified `lean4` Claude Code plugin for Lean 4 theorem proving — triggers on `.lean` edits, build failures, and mathlib searches, enforces "search before prove", 100-char line width, no statement/axiom changes without permission, and drives `/lean4:prove`, `/lean4:autoprove`, `/lean4:formalize`, `/lean4:review`, `/lean4:golf`, `/lean4:checkpoint`, `/lean4:doctor`.

🔌

lean4-memories🔌Plugin

A Claude Code plugin for Lean 4 development that manages persistent memories and context across coding sessions for theorem proving and formalization.

🏪

cameronfreer-lean4-skills🏪Marketplace

Lean 4 theorem proving skill and workflow pack for AI coding agents

🎯

lean4🎯Skill

A Claude Code plugin for automated Lean 4 theorem proving, offering guided cycle-by-cycle and autonomous multi-cycle proving commands for formal mathematics.

🎯

lean4-theorem-proving🎯Skill

Skill