lean-strict-verification-gate

name	lean-strict-verification-gate
description	Scanner-first Lean artifact verification gate that separates typecheck status from claim support.
metadata	{"short-description":"Scanner-first Lean artifact verification gate that separates typecheck status from claim support."}

lean-strict-verification-gate

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

Canonical skill source:

• ~/ai-agents-skills/canonical/skills/lean-strict-verification-gate/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.