Programs using LLM calls (think)
13 verified Soma programs that use LLM calls (think). Start from one of these when you write a program that needs it.
| Program | Lines | Uses |
|---|---|---|
| Token-budget enforcement, made testable | 52 | a state machine, an agent cell, LLM calls (think), try / catch |
| A horde: one [task] agent per document, a bounded pool, a hard token budget, each verdict stored exactly once, a summary at the end | 58 | an agent cell, LLM calls (think), pipes (|>), lambdas, require / fail, several cells |
| A population simulation in rounds: every agent of a round sees the same | 62 | an agent cell, LLM calls (think), pipes (|>), lambdas, several cells |
| Agent with persistent memory via remember()/recall() | 61 | a state machine, an agent cell, LLM calls (think), try / catch |
| A ReAct-style agent whose tools are real, deterministic computations | 63 | a state machine, an agent cell, LLM calls (think), pipes (|>), try / catch, lambdas, tools |
| Sentiment-routing agent: classify a message, route by polarity | 67 | a state machine, an agent cell, LLM calls (think), match, tools |
| Reflective tool-dispatch agent: routes a named action to the right tool | 77 | a state machine, an agent cell, LLM calls (think), match, try / catch, tools |
| Self-auditing agent: it inspects its own execution trace | 59 | a state machine, an agent cell, LLM calls (think), try / catch, tools |
| Support-ticket triage agent | 65 | a state machine, an agent cell, LLM calls (think), tools |
| Turn-bounded conversation agent — proves a chat loop terminates | 61 | a state machine, an agent cell, LLM calls (think), try / catch, require / fail |
| The killer feature: an agent whose termination is PROVEN by soma verify | 52 | a state machine, an agent cell, LLM calls (think), try / catch |
| Refund agent — an LLM decides, the language decides what it may do | 162 | a state machine, a memory invariant, an agent cell, a sum type, LLM calls (think), match, try / catch, guard blocks, require / fail, a cost bound, tools |
| Triage agent — an LLM inside a frame | 98 | a state machine, a memory invariant, LLM calls (think), a skeleton |