Instructions file CodexOpenCode
AGENTS.md instructions for lemmaoracle/lemma, covering lemma monorepo — agent guidelines, how to work and rules.
1 yesterday A 181 tokens
1Stars on the repository
12Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Instructions file
Claude Code instructions for lemmaoracle/lemma, a project described as: Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
1 yesterday A 11 tokens