PyPI page
Home page
Author:
Peter Saghelyi
Summary:
Temporal-logic guardrails for Claude Agent SDK agents — LTLf2DFA-compiled colored automata enforced via hooks.
Latest version:
0.2.0
Required dependencies:
claude-agent-sdk
|
ltlf2dfa
|
pyyaml
Optional dependencies:
nl2ltl
|
pytest
Downloads last day:
2
Downloads last week:
26
Downloads last month:
0
7-day smoothing