CLI
Functions and Agents
Create deterministic backend functions, create judgment-heavy agents, and verify both before orchestration.
Function lifecycle
lemma function create --pod-id <pod-id> --payload-file ./payloads/create-expense-function.json
lemma function list --pod-id <pod-id>
lemma function get create-expense --pod-id <pod-id>
lemma function run create-expense --pod-id <pod-id> --payload '{"input_data":{"merchant":"Uber","amount":19.75}}'
lemma function run-list create-expense --pod-id <pod-id>Agent lifecycle
lemma agent create --pod-id <pod-id> --payload-file ./payloads/document-summarizer-agent.json
lemma agent list --pod-id <pod-id>
lemma agent get document-summarizer --pod-id <pod-id>
lemma task create --pod-id <pod-id> --agent-name document-summarizer --payload-file ./payloads/task-create.json
lemma task get <task-id> --pod-id <pod-id>Use the right runtime
| Need | Use |
|---|---|
| Typed validation and writes | Function |
| External app operation with retries | Function plus accessible_connectors |
| Research, summarization, extraction, classification | Agent |
| Background agent execution | Task or workflow AGENT node |
| User-facing chat | Conversation or assistant surface |