Formal Proof Visualization and Verification for Lean 4
安装
npx skills add plurigrid/asi --skill paperproof-validatornpx skills add plurigrid/asi --skill paperproof-validator -a claude-code -gnpx skills add plurigrid/asi --skill paperproof-validator -a codex -ggemini skills install https://github.com/plurigrid/asi.git --path skills/paperproof-validatorgh skill install plurigrid/asi paperproof-validatorgit clone --depth 1 https://github.com/plurigrid/asi /tmp/plurigrid__asi
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/plurigrid__asi/skills/paperproof-validator ~/.claude/skills/paperproof-validator # Claude Code
cp -R /tmp/plurigrid__asi/skills/paperproof-validator ~/.agents/skills/paperproof-validator # Codex, Cursor, Gemini CLI, Copilot, OpenCode