Skip to content

Generated by sema doc from stdlib/sema/agents.sema. Import with from std.agents import …. For a narrative introduction see std.agents.

Typed specifications, envelopes, pools, and domain-neutral role presets.

Models and tools are injected by the caller. Presets create validated data; Agent.build(spec, under=envelope) performs the governed runtime admission.

Fields

fieldtypedescriptor
namestr
input_typestr
output_typestr
semstr
modelstr
toolslist[any]
completionstr
model_callsint
tokensint

Fields

fieldtypedescriptor
input_typestr
output_typestr
allowed_modelslist[str]
toolslist[any]
max_model_callsint
max_tokensint
max_childrenint
max_spawn_depthint

Fields

fieldtypedescriptor
envelopeAgentEnvelope[I, O]
agentslist[any]

Fields

fieldtypedescriptor
digeststr
media_typestr
value_typestr
provenancelist[str]

Fields

fieldtypedescriptor
idstr
parentstr
dependencieslist[str]
statusstr
artifactstr
stall_reasonstr

Fields

fieldtypedescriptor
run_idstr
circuitstr
statusstr
resultT
worklist[WorkUnit]

Variants

  • pending
  • running
  • awaiting_signal
  • suspended
  • complete
  • failed
  • cancelled
def role_spec[I, O](name: str, input_type: str, output_type: str, purpose: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
namestr
input_typestr
output_typestr
purposestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Researcher[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Architect[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Orchestrator[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Reviewer[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Verifier[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Writer[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Monitor[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Explorer[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Engineer[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}

def Hardener[I, O](input_type: str, output_type: str, model: str, tools: list[any], model_calls: int, tokens: int) -> AgentSpec[I, O] !{}

Parameters

nametype
input_typestr
output_typestr
modelstr
toolslist[any]
model_callsint
tokensint

Returns AgentSpec[I, O]

Effects !{}