lean4-memories_skill

This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration

Shell

93

GitHub Stars

1

Bundled Files

3 months ago

Catalog Refreshed

5 months ago

First Indexed

Readme & install

Copy the install command, review bundled files from the catalogue, and read any extended description pulled from the listing source.

Installation

Preview and clipboard use veilstrat where the catalogue uses aiagentskills.

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

SKILL.md12.5 KB

No extended description is available for this skill yet.

Use the repository link in the sidebar for source files and maintainer notes.

Readme & install

Installation

Files (1)