Skip to main content

quelltest

Your docstrings say what your code should do. Quelltest proves it.

PyPI Python License: MIT Docs

Quelltest reads your Python docstrings, Pydantic models, and PySpark schemas — extracts every testable requirement — generates a verified pytest test for each gap — and writes it to disk only after proving it catches real violations.

v1.0.0 — infrastructure-aware verified testing: QuellGraph SQLite code-intelligence graph, ephemeral Docker containers, and per-test confidence scores.

No LLM key required. No code leaves your machine.

pip install quelltest
quell check src/ --fix --no-llm

# v1.0.0: build code-intelligence graph, run with auto-containers
quell graph build src/
quell check src/ --with-containers --fix --min-confidence 70

What "verified" means

Every generated test goes through two phases before it's written:

  1. Phase 1 — pass on correct code. The test runs against your original source. If it fails here, something is wrong with the generated test itself. Rejected.
  2. Phase 2 — fail on violated code. Quelltest injects a targeted violation (comments out the raise, weakens the Field bound, flips nullable=False). The test must fail. If it passes, it proved nothing. Rejected.

Only tests that survive both phases are written. This is the moat between Quelltest and every other test generation tool.


Use cases

Docstrings with Raises: / Returns:

def process_payment(amount: float, currency: str) -> PaymentResponse:
    """
    Process a payment.

    Args:
        amount: Payment amount in the specified currency.
        currency: ISO 4217 currency code.

    Returns:
        PaymentResponse with a unique transaction_id.

    Raises:
        ValueError: If amount is <= 0.
        ValueError: If currency is not supported.
    """
quell check src/payments.py --fix --no-llm
# → writes tests/test_payments.py with 2 verified MUST_RAISE tests

Generated test (simplified):

def test_process_payment_raises_valueerror_amount():
    """MUST_RAISE ValueError — auto-generated by Quelltest 0.6.9."""
    with pytest.raises(ValueError):
        process_payment(amount=0, currency="USD")

This test is verified: it passes on the original process_payment and fails when the raise ValueError is commented out.


Pydantic v2 Field constraints

from pydantic import BaseModel, Field
from typing import Literal

class PaymentRequest(BaseModel):
    amount: float = Field(gt=0, le=10_000)
    currency: Literal["USD", "EUR", "GBP", "INR"]
    idempotency_key: str = Field(min_length=8, max_length=64)
quell check src/models.py --fix --no-llm
# → BOUNDARY test for amount (>0, ≤10000)
# → ENUM_VALID test for currency (must be one of 4 values)
# → BOUNDARY test for idempotency_key (length 8–64)

PySpark schemas

from pyspark.sql.types import StructType, StructField, DoubleType, StringType

payment_schema = StructType([
    StructField("amount", DoubleType(), nullable=False),
    StructField("currency", StringType(), nullable=False),
    StructField("transaction_id", StringType(), nullable=True),
])
quell check src/schemas.py --fix --no-llm
# → NOT_NULL test for amount
# → NOT_NULL test for currency
# → TYPE_CHECK test for schema structure

Requirement coverage in CI

# Fail the pipeline if requirement coverage drops below 80%
quell check src/ --ci --threshold 0.80

# Post a gap report as a PR comment
quell pr 42 --comment

GitHub Actions workflow (generated by quell install --pr):

- name: Quelltest requirement coverage
  run: |
    pip install quelltest
    quell check src/ --ci --threshold 0.80

Reproduce a bug from plain English

quell reproduce "payment function accepts zero amount and does nothing"
# → finds the relevant function
# → generates a failing test that proves the bug
# → test is verified against the current (buggy) code

All commands

Command LLM? What it does
quell check src/ No Scan for requirement gaps
quell check src/ --fix No Generate + verify tests for every gap
quell check src/ --fix --no-llm Never Same, rule engine only
quell check src/ --ci --threshold 0.8 No Fail CI if coverage < 80%
quell pr <N> --comment No Post gap report as PR comment
quell score --badge No Print coverage score + SVG badge
quell reproduce "<bug>" Yes Turn bug description into failing test
quell prove src/file.py No Show requirement coverage for one file
quell install --pr No Write GitHub Actions workflow
quell auth login — Login for LLM features

How it works

Spec readers (docstring, Pydantic, PySpark)
        │
        ▼
  list[Requirement]
        │
        ▼
Coverage checker (AST scan of test files — no test execution)
        │
        ▼
Rule engine (deterministic, no LLM) → covers ~75% of requirements
LLM engine (fallback, only if configured) → covers complex cases
        │
        ▼
Verification engine — THE MOAT
  Phase 1: test passes on original code
  Phase 2: test fails on violated code
  Always restores source in finally block
        │
        ▼
Writer (libcst injection — preserves formatting)
  Backup before write. Validate CST. Restore on failure.

Constraint kinds

Kind Detected from Violation injected
MUST_RAISE Raises: in docstring Comments out the raise
MUST_RETURN Returns: in docstring Returns None instead
BOUNDARY Field(gt=0, le=100) Sets value outside bound
ENUM_VALID Literal["a", "b"] Passes "__invalid__"
NOT_NULL nullable=False in StructField Passes None
TYPE_CHECK PySpark StructType Wrong column type

Why not just use an LLM?

LLM-generated tests match current behavior, not stated requirements. If your code has a bug (accepts zero amounts), an LLM writing tests against the live code will write a test that passes amount=0 — because that's what the code currently does.

Quelltest reads the requirement (Raises: ValueError: If amount is <= 0) and generates a test that proves the requirement is enforced. If the code is buggy, the test fails. That's the point.


Comparison

Quelltest pytest-cov Hypothesis LLM test gen
Reads existing specs ✅ ❌ ❌ Partial
No LLM required ✅ ✅ ✅ ❌
Verifies tests catch violations ✅ ❌ ❌ ❌
Requirement-level coverage ✅ ❌ ❌ ❌
Preserves code formatting ✅ (libcst) — — ❌
CI gate ✅ ✅ ❌ ❌

Installation

pip install quelltest

Requires Python 3.11+. Works on Linux, macOS, Windows.

Optional extras

pip install quelltest[pyspark]   # PySpark schema scanning
pip install quelltest[mcp]       # MCP server for AI agents

Configuration

quell init   # adds [tool.quell] to pyproject.toml
[tool.quell]
llm_provider = "anthropic"        # "anthropic" | "openai" | "ollama" | "none"
llm_model    = "claude-sonnet-4-5"
enable_docstring = true
enable_types     = true
enable_mutations = false          # mutmut integration (opt-in)
auto_write       = false
score_threshold  = 0.0

LLM API key — only needed for quell reproduce and LLM fallback:

export ANTHROPIC_API_KEY=sk-ant-...
# or
export OPENAI_API_KEY=sk-...
# or login via browser (no key needed)
quell auth login

Python SDK

from quell import Quell

q = Quell()

# Scan for gaps (no LLM)
result = q.check("src/")
print(f"Score: {result.score:.0%} — {len(result.uncovered)} gaps")

# Reproduce a bug (uses LLM)
q.reproduce("payment accepts zero amount")

# Project score with badge
score = q.score()
print(f"Requirement coverage: {score.percentage}%")

Full SDK reference: quell.buildsbyshashank.tech/docs/sdk/overview


Development

git clone https://github.com/shashank7109/quelltest_lib.git
cd quelltest_lib
uv sync --dev

uv run pytest tests/ -v
uv run ruff check . --fix
uv run mypy quell/

# Run quelltest on itself
uv run quell check quell/ --no-llm

Links


License

MIT — see LICENSE

Metadata

Release files for quelltest 2.0.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for quelltest 2.0.0
File Size Uploaded
quelltest-2.0.0.tar.gz 302.9 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for quelltest 2.0.0
File Interpreter ABI Platform
quelltest-2.0.0-py3-none-any.whl Python 3 none any Details

Total release size: 461.2 kB

Release files / quelltest-2.0.0.tar.gz

Download URL quelltest-2.0.0.tar.gz
Size 302.9 kB
Tags Source
SHA-256 checksum
How to use checksums
92ee358cd5a375f041c6d07ba803cd805b5ba948e023fd277bc490b3a190af6b
BLAKE2b-256 checksum
How to use checksums
f7186d0eec94a847a99c2b48b8b0cdea8c68bdc746ccfeba10e4769cf7152a34
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.1.0 CPython/3.13.12

Release files / quelltest-2.0.0-py3-none-any.whl

Download URL quelltest-2.0.0-py3-none-any.whl
Size 158.4 kB
Tags Python 3
SHA-256 checksum
How to use checksums
4300413a78660fbd3d3fb9b650f61b4b1726cdb82eea8704b838ab98d0110430
BLAKE2b-256 checksum
How to use checksums
87ece852b224b503e0245912c5e7c4865023231fbf207af81701926047856a2e
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.1.0 CPython/3.13.12

Release history Release notifications | RSS feed

This release

2.0.0 This release

2 release files

1.0.0

2 release files

0.9.8

2 release files

0.9.7

2 release files

0.9.6

2 release files

0.9.5

2 release files

0.9.4

2 release files

0.9.3

2 release files

0.9.2

2 release files

0.9.0

2 release files

0.8.1

2 release files

0.8.0

2 release files

0.7.0

2 release files

0.6.9

2 release files

0.6.8

2 release files

0.6.7

2 release files

0.6.6

2 release files

0.6.5

2 release files

0.6.4

2 release files

0.6.3

2 release files

0.6.2

2 release files

0.6.1

2 release files

0.6.0

2 release files

0.5.1

2 release files

0.5.0

2 release files

0.4.4

2 release files

0.4.3

2 release files

0.4.2

2 release files

0.4.1

2 release files

0.4.0

2 release files

0.3.0

2 release files

0.1.0

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page