Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
These files are lemmaoracle/lemma's own configuration. They tell Claude Code, Cursor, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
AGENTS.md A 181 tok CLAUDE.md A 11 tok .cursorrules A 24 tok .cursor/skills/openspec-apply-change/SKILL.md A 31 tok .cursor/skills/openspec-archive-change/SKILL.md A 31 tok .cursor/skills/openspec-explore/SKILL.md A 39 tok .cursor/skills/openspec-propose/SKILL.md A 47 tok .cursor/commands/opsx-apply.md A 16 tok .cursor/commands/opsx-archive.md A 14 tok .cursor/commands/opsx-explore.md A 19 tok .cursor/commands/opsx-propose.md A 21 tok