scottnarmstrong

scottnarmstrong has published 1 vetted tool for AI agents in the catalog: 1 skill.

All cards

1 card

Lean 4 skills for Codex and Claude Code: from project design to checking the statement against the source theorem

SkillMinimal access69

It comes with an install command and an access level with reasons.

One command, using “LeanAutoformalizationSkills” as an example. The SkillFoxx CLI detects the agent and puts the files in the right folder.

npx skillfoxx add skills/leanautoformalizationskills

Access of the author’s cards

Did not find what you need from this author? Describe the task and Foxx AI will pick cards from the whole catalog. Match with Foxx AI