lemmaoracle/lemma

Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.

11 files for Claude Code, Cursor, Codex and OpenCode: /opsx-apply, /opsx-archive, /opsx-explore, /opsx-propose and 7 more — 317 tokens loaded in every session.

Open on GitHub lemma.frame00.com

Instructions

lemma AGENTS.md AGENTS.md A 282 tok
lemma CLAUDE.md CLAUDE.md A 11 tok

Cursor rules

cursorrules .cursorrules A 24 tok

Skills

openspec-apply-change .cursor/skills/openspec-apply-change/SKILL.md A 31 tok
openspec-archive-change .cursor/skills/openspec-archive-change/SKILL.md A 31 tok
openspec-explore .cursor/skills/openspec-explore/SKILL.md A 39 tok
openspec-propose .cursor/skills/openspec-propose/SKILL.md A 47 tok

Commands

/opsx-apply .cursor/commands/opsx-apply.md A 16 tok
/opsx-archive .cursor/commands/opsx-archive.md A 14 tok
/opsx-explore .cursor/commands/opsx-explore.md A 19 tok
/opsx-propose .cursor/commands/opsx-propose.md A 21 tok

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.