lean-research-library

name	lean-research-library
description	Use when any Lean formalization task starts (reuse Mathlib and the personal research library first) or ends (user-gated intake of results into the library, mathlib-PR flagging, paper-artifact scaffolding and gated Zenodo publishing).
metadata	{"short-description":"Use when any Lean formalization task starts (reuse Mathlib and the personal research library first) or ends (user-gated intake of results into the library, mathlib-PR flagging, paper-artifact scaffolding and gated Zenodo publishing)."}

lean-research-library

This is a thin adapter for agents that cannot load symlinked skills.

Canonical skill source:

• ~/ai-agents-skills/canonical/skills/lean-research-library/SKILL.md

Before using this skill, read the canonical source file above and follow its instructions. Related reference files live next to that source file in the same skill directory.