[build-system]
requires = ["setuptools>=68"]
build-backend = "setuptools.build_meta"

[project]
name = "lean-bench"
version = "0.2.0"
description = "Detect formalizable mathematics in source documents and turn it into verified, indexed Lean 4"
readme = "README.md"
requires-python = ">=3.10"
license = { text = "MIT" }
dependencies = [
    "pymupdf>=1.24",
]

[project.optional-dependencies]
pypdf = ["pypdf>=4.0"]
dev = ["pytest>=8.0", "ruff>=0.5"]

[project.scripts]
lean-bench = "leanbench.cli:main"

[tool.setuptools.packages.find]
include = ["leanbench*"]

[tool.pytest.ini_options]
testpaths = ["tests"]
addopts = "-q"

[tool.ruff]
line-length = 100
target-version = "py310"

[tool.ruff.lint]
select = ["E", "F", "W", "I", "UP", "B"]
ignore = ["E501", "B008"]