Installation

Prerequisites

• Python 3.12+
• uv (recommended) or pip

Setup

pip install pytifex

# Required
export GEMINI_API_KEY=your_gemini_api_key

# Optional — higher GitHub API rate limits
export GITHUB_TOKEN=ghp_your_github_token

# Run Pytifex and generate tricky code examples that lead to disagreements between Type checkers
uv run pytifex

The type checkers (mypy, pyrefly, zuban, ty) are automatically installed by uv when you run the tool.

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