Instructions file
Claude Code instructions for zksecurity/leanPython, covering leanpython, build commands, project structure, code style and development plan.
11 5mo ago A 1,237 tokens
11Stars on the repository
1Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied