lemmaoracle

lemmaoracle/lemma

Command Cursor

Implement tasks from an OpenSpec change (Experimental).

lemmaoracle/lemma

Command Cursor

Archive a completed change in the experimental workflow.

lemmaoracle/lemma

Command Cursor

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

lemmaoracle/lemma

Command Cursor

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

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.

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.

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.

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.

lemmaoracle/lemma

Cursor rule Cursor

All monorepo rules live in AGENTS.md. Read it before making any change.

lemmaoracle/lemma

Instructions file CodexOpenCode

AGENTS.md instructions for lemmaoracle/lemma, covering lemma monorepo — agent guidelines, how to work and rules.

lemmaoracle/lemma

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.

lemmaoracle/lemma

MCP server Claude CodeCodexCursor

Query ZK-verified attributes, selective disclosure, and on-chain provenance from Lemma Oracle. Runs locally from the @lemmaoracle/mcp npm package. Needs 2 environment variables to run.