Instructions file CodexOpenCode
AGENTS.md instructions for lemmaoracle/lemma, covering lemma monorepo — agent guidelines, how to work and rules.
1 2d ago A 181 tokens
2 tagged selective disclosure, measured the same way as everything else here.
Instructions file CodexOpenCode
AGENTS.md instructions for lemmaoracle/lemma, covering lemma monorepo — agent guidelines, how to work and rules.
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.