lemmaoracle/lemma

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

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

/opsx-apply

01

lemmaoracle/lemma

Command Cursor

Implement tasks from an OpenSpec change (Experimental).

1 yesterday A 16 tokens

/opsx-explore

03

lemmaoracle/lemma

Command Cursor

Enter explore mode - think through ideas, investigate problems, clarify requirements.

1 yesterday A 19 tokens

/opsx-propose

04

lemmaoracle/lemma

Command Cursor

Propose a new change - create it and generate all artifacts in one step.

1 yesterday A 21 tokens