project-numina/numina-lean-agent
Instructions file
Claude Code instructions for project-numina/numina-lean-agent, covering numina lean agent, lean environment and environment variables.
271 1mo ago A 190 tokens
271Stars on the repository
8Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied