API reference¶
Generated from the docstrings of agentltl
(src/agentltl), at every site build. Everything on these pages is importable from the
module named in its section; the most used names are re-exported from agentltl itself
(from agentltl import Before, Constraint, verify_trace).
| Page | Module | What's there |
|---|---|---|
| Formulas | agentltl |
The formula nodes (atoms, temporal operators, connectives, quantifiers) and parse |
| Traces and verification | agentltl |
Trace, ToolCall, Constraint, verify_trace, LTLEvaluator |
| Enforcement | agentltl.enforcer, agentltl.enforcement, agentltl.runtime_safety |
Enforcer and Decision, severities, soft-block modes, violations, runtime-safety classification |
| Agents and integrations | agentltl.agents, agentltl.integrations |
AgentWithConstraints and the smolagents integration |
For the shape of the dicts the API returns, see return values.