API Python

from agentl import (
    Analyzer,
    Host,
    MockLLM,
    Runtime,
    parse_file,
    verify,
)

from agentl import Analyzer, parse_file, parse_source

program = parse_file("agent.agent")
agent = program.agents[0]
diagnostics = Analyzer(agent).run()

inline = parse_source("AGENT EMPTY { GOAL done { ACHIEVE ok == yes } }")

from agentl import Host, MockLLM, Runtime, Symbol, parse_file

agent = parse_file("service_guard.agent").agents[0]
host = Host()

host.sensors["service.status"] = lambda: Symbol("healthy")

runtime = Runtime(agent, host, MockLLM())
runtime.run(max_ticks=4)
trace = runtime.trace

from agentl import parse_file, verify

agent = parse_file("agent.agent").agents[0]
report = verify(agent)

for theorem in report.theorems:
    print(theorem)

from agentl import ActionRequest, PolicyEngine

from agentl import Inference, Planner, infer, reachable_range

from agentl import MockLLM, Society

society = Society(
    program.agents,
    hosts={"analyst": analyst_host, "responder": responder_host},
    llms={"analyst": MockLLM(), "responder": MockLLM()},
)
society.run(max_ticks=6)

from agentl import (
    Journal,
    RecordingHost,
    RecordingLLM,
    ReplayHost,
    ReplayLLM,
    verify_trace,
)