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

lemmaoracle/lemma

Skill Claude CodeCodexCursor

Implement tasks from an OpenSpec change. Use when the user wants to start implementing, continue implementation, or work through tasks.

1 yesterday A 31 tokens

lemmaoracle/lemma

Skill Claude CodeCodexCursor

Archive a completed change in the experimental workflow. Use when the user wants to finalize and archive a change after implementation is complete.

1 yesterday A 31 tokens

openspec-explore

03

lemmaoracle/lemma

Skill Claude CodeCodexCursor

Enter explore mode - a thinking partner for exploring ideas, investigating problems, and clarifying requirements. Use when the user wants to think through something before or during a change.

1 yesterday A 39 tokens

openspec-propose

04

lemmaoracle/lemma

Skill Claude CodeCodexCursor

Propose a new change with all artifacts generated in one step. Use when the user wants to quickly describe what they want to build and get a complete proposal with design, specs, and tasks ready for implementation.

1 yesterday A 47 tokens