PyFixer

The auto-fix button for Python.

Upload a broken file. Get a fixed file. That's it.

Upload → Scan → Fix → Verify → Contracts → Done

What It Does

PyFixer finds and fixes Python problems automatically.

17+ types of issues. One click to fix.

How It Works (v0.3)

1. Upload .py file
   ↓
2. Scan with ruff + bandit + mypy + custom/semantic checks
   ↓
3. Generate a behavioral test for EVERY function (coverage guarantee)
   ↓
4. AI proposes a fix (13 specialist workers)
      - clean functions are never sent to the LLM
   ↓
5. Post-processing layer applies guaranteed fixes
      - hardcoded secrets are scrubbed from the output
   ↓
6. CONTRACT GATE: probe original vs fixed behavior
      - untouched functions must return identical results
      - perf/logging-only fixes must be value-identical
      - violations -> corrective retry -> verbatim splice
   ↓
7. Verify: syntax check + ruff + mypy + findings count
   ↓
8. You approve or reject
   ↓
9. Done. File is fixed.

Features

13 Specialist Workers

Each worker is an expert in one thing:

BYOK (Bring Your Own Key)

You bring your own API key. We never store it.

Server-side key pool (optional)

Tired of pasting a key into the UI? Configure keys on the server and every client can fix without one:

# Option A: environment variable (comma or newline separated)
export PYFIXER_KEYS="AQ.Ab8RN6...,AQ.Ab8RN7..."

# Option B: key file, one key per line
$EDITOR data/gemini.keys   # gitignored — never commit this file

Keys rotate automatically (N keys = N × 15 requests/min). The pool is only used when a request carries no X-Api-Key header / body key; client keys always take priority and are never stored, logged, or written to disk. GET /api/server-keys reports { "available": true } without exposing them.

LLM control

Every model call goes through a task profile (temperature / token budget / JSON-mode) so behaviour is tunable in one place — PROFILES in pyfixer/byok.py:

Model resolution order: per-call override → PYFIXER_MODEL env var → provider default. The classifier requests provider-side JSON mode (Gemini response_mime_type, OpenAI-compatible response_format).

Verify & Rollback

• Verify: Proves the fix works (syntax + ruff + mypy + findings)
• Rollback: Undo if you don't like it

Pattern Learning

PyFixer remembers what works. The more you use it, the better it gets.

Quickstart

# Clone
git clone <your-repo>
cd pyfixer

# Setup
python3 -m venv .venv
.venv/bin/pip install -r requirements.txt

# Run
.venv/bin/uvicorn pyfixer.main:app --host 127.0.0.1 --port 8501

Open http://127.0.0.1:8501

Note: python-multipart is required (pulled in by requirements.txt) so the upload endpoints that use Form(...) work. ruff and bandit must be installed and on PATH (the scanner shells out to python -m ruff / python -m bandit). mypy is optional — only used when you enable the mypy scanner.

CLI

Fix files straight from the terminal — same pipeline, same gates, no server:

# module form (works from a checkout)
python -m pyfixer fix app.py

# after `pip install -e .` you also get the console script
pyfixer scan app.py            # findings only, no AI call   (exit 1 if any)
pyfixer fix app.py             # writes app.fixed.py next to it
pyfixer fix app.py --apply     # overwrite in place
pyfixer fix app.py --diff      # print the patch, write nothing
pyfixer fix src/               # every .py under a folder (summary at end)
pyfixer fix app.py --format json       # machine-readable output
pyfixer fix app.py --worker security   # force a specialist
pyfixer fix app.py --llm              # + LLM fixes (needs API key)
pyfixer fix app.py --llm --fast       # fewer model calls, same gates
pyfixer fix app.py --aggressive       # + mechanical ruff upgrades (no key)
pyfixer fix app.py --check            # preview only, write nothing
pyfixer workers                # list all specialists

# key: --key beats $PYFIXER_KEYS beats data/gemini.keys (rotating pool)

# LLM-gated flags: --comprehensive and --reference work ONLY with --llm;
# --verify needs --llm (pytest gate) or --llm-targeted (mypy gate).
# Without them the CLI exits 2 instead of silently ignoring the flag.

Deterministic Fixes (no API key needed)

Deterministic mode (the default — no API key needed) applies 50+ pattern-based fixes instantly:

Example:

# Quick fix without API key (deterministic is the default)
pyfixer fix buggy.py

# See what would change
pyfixer fix buggy.py --diff

# Apply in place
pyfixer fix buggy.py --apply

Exit codes: 0 OK · 1 findings survived the fix · 2 usage/no key.

API

Scanner

PyFixer uses multiple scanners:

• ruff — Fast Python linter (16 rule sets)
• bandit — Security scanner
• mypy — Type checker
• AST detector — 16 LOGIC codes + 10 STYLE codes + 5+ ALGO/PERF codes
• Custom checks — 8 additional checks:
  • ERR001: Missing error handling
  • ERR002: Broad exception catching
  • LOG001: print() instead of logging
  • PERF001: Inefficient string concatenation
  • MUT001: Mutable default arguments
  • SHADOW001: Builtin name shadowing
  • TYPE001: type() comparison instead of isinstance()

Total: 50+ types of issues detected.

Testing

PYTHONPATH=. .venv/bin/pytest tests/ -v

862 tests passing (incl. 9 opt-in corpus parity suites).

Regression benchmarks (LLM-in-the-loop)

benchmarks/ contains bug files with human-verified correct.py references and check.py auto-checkers. The harness runs each through the REAL fix pipeline and scores it — including clean canary functions that must keep identical behavior (contract-regression guard).

# all cases (uses server key pool or PYFIXER_BENCH_KEY)
.venv/bin/python benchmarks/run_bench.py

# one case
.venv/bin/python benchmarks/run_bench.py --only logic_signs

Cases: algorithms, strings, mixed, security_basics, crash_edges, logic_signs, perf_logging. A manual GitHub Actions workflow (.github/workflows/regression.yml) runs them on demand with a PYFIXER_KEYS secret.

Corpus regression (downstream suite parity)

tests/test_corpus_regression.py runs nine real projects' test suites against both the pristine checkout and the deterministic rewrite, asserting identical pass/fail signatures — the harness that caught the RET505 click corruption, the ERR003 logging-import breakage, and the F401 # noqa side-effect import deletion. Opt-in via PYFIXER_CORPUS_DIR:

bash scripts/provision_corpus.sh /path/to/pyfixer-corpus   # checkouts + venvs
PYFIXER_CORPUS_DIR=/path/to/pyfixer-corpus PYTHONPATH=. pytest tests/test_corpus_regression.py -m corpus -q

Repos: click, httpie, requests, rich, flask, fastapi, attrs (2022-era), httpx 1.0b0 (2025-era), pandas 2.2.3. Pandas is special: its compiled _libs can't be PYTHONPATH-shadowed, so it runs as a dedicated two-venv parity test (venv-pandas vs venv-pandas-fixed, both on numpy==1.26.4). A manual + weekly workflow (.github/workflows/corpus.yml) runs the same in CI.

tests/test_semantic_rules.py locks the semantic tier (SEM003/SEM004/SEM006) with a detector mutation oracle plus differential-execution coverage of the SEM004 fixer; tests/test_mock_llm_contract.py locks the SEM003 detector -> per-function-LLM wiring with a stubbed model (no network).

Code quality

# Lint + auto-format
.venv/bin/ruff check pyfixer
.venv/bin/ruff format pyfixer

# Static type checking
.venv/bin/mypy pyfixer

A GitHub Actions workflow (.github/workflows/ci.yml) runs ruff check, ruff format --check, mypy, and the full pytest suite on every push and pull request, so regressions are caught before merge.

Tech Stack

• Backend: FastAPI + SQLite + Python
• Scanner: ruff + bandit + mypy + custom AST checks
• AI: OpenAI, OpenRouter, Google, DeepSeek (BYOK)
• Testing: pytest + coverage

Tier Semantics

PyFixer promotes fixes through four tier levels. The goal is honest tier assignment — a function's tier reflects the evidence that validates its rewrite.

Honesty invariant: verify_mode=True does not mint VERIFIED. It only means the user passed --verify; a real suite still needs to run afterwards. Promotion to VERIFIED belongs to the real‑suite gate in cli.py, never propose().

License

Copyright (c) 2026 Aziz. All rights reserved.

Author

Aziz — Built PyFixer to fix Python code automatically.