beautifulsoup4>=4.12.0
fastmcp<4,>=3.2
mcp>=1.0.0
my-better-isabelle-prover>=0.1.0
pydantic>=2.0.0
watchdog>=3.0.0

[dev]
coverage>=7.0.0
pytest>=7.0.0
pytest-asyncio>=0.21.0
pytest-cov>=7.0.0
mypy>=1.0.0
black>=23.0.0
ruff>=0.1.0
