claude-agent-sdk
ltlf2dfa>=2.0.0
pyyaml

[dev]
pytest

[nl]
nl2ltl>=0.0.6
