3 Installation
3.1 Prerequisites
- Python 3.12+
- uv (recommended) or pip
3.2 Setup
git clone https://github.com/benedekaibas/pytifex-demo.git
cd pytifex-demo/src/tc_disagreement
# Required
export GEMINI_API_KEY=your_gemini_api_key
# Optional — higher GitHub API rate limits (60 → 5000 req/hr)
export GITHUB_TOKEN=ghp_your_github_tokenThe type checkers (mypy, pyrefly, zuban, ty) are automatically installed by uv when you run the tool.
3.3 Environment Variables
| Variable | Required | Description |
|---|---|---|
GEMINI_API_KEY |
Yes | Google Gemini API key for code generation |
GITHUB_TOKEN |
No | GitHub token for higher API rate limits |
3.4 Manual Type Checker Installation
If you prefer not to use uv:
pip install mypy==1.19.0 pyrefly==0.44.2 zuban==0.3.0 ty==0.0.1a32