lark>=1.1.0
pydantic>=2.0.0
httpx>=0.25.0
pyyaml>=6.0
python-dotenv>=1.0.0
cryptography<47,>=42

[all]
nous-lang[lsp,server,smt]

[lsp]
pygls>=1.3.0
lsprotocol>=2024.0.0

[server]
fastapi>=0.104.0
slowapi>=0.1.9
uvicorn>=0.24.0

[smt]
z3-solver<4.17.0,>=4.15.0
