# SQLTy

> Type-safe SQL queries for Python with automatic type inference, source rewriting, and lint checks.

SQLTy type-checks SQL in Python: it infers row and parameter types from the schema, rewrites queries to typed helpers, and lints them, through a Rust engine with a Python API and CLI.

## Reference

- [Rules](<https://sqlty.kuncar.dev/reference/rules/index.md>): Every lint rule, its default severity and how to change it
- [Configuration](<https://sqlty.kuncar.dev/reference/configuration/index.md>): Every `[tool.sqlty]` setting
- [CLI](<https://sqlty.kuncar.dev/reference/cli/index.md>): Every `sqlty` command and flag
- [Type mapping](<https://sqlty.kuncar.dev/reference/types/index.md>): How each SQL type maps to a Python type, per dialect

## Getting started

- [Home](<https://sqlty.kuncar.dev/index.md>)
- [Installation](<https://sqlty.kuncar.dev/installation/index.md>)
- [Quickstart](<https://sqlty.kuncar.dev/quickstart/index.md>)
- [Why SQLTy?](<https://sqlty.kuncar.dev/motivation/index.md>)
- [Use cases](<https://sqlty.kuncar.dev/use-cases/index.md>)

## Guide

- [Breaking schema changes](<https://sqlty.kuncar.dev/guide/breaking-changes/index.md>)
- [Drivers and ORMs](<https://sqlty.kuncar.dev/guide/drivers-and-orms/index.md>)
- [Formatting queries](<https://sqlty.kuncar.dev/guide/formatting/index.md>)
- [Query helpers](<https://sqlty.kuncar.dev/guide/helpers/index.md>)
- [JSON shapes](<https://sqlty.kuncar.dev/guide/json-shapes/index.md>)
- [Magic codec](<https://sqlty.kuncar.dev/guide/magic-codec/index.md>)
- [Name diagnostics](<https://sqlty.kuncar.dev/guide/name-diagnostics/index.md>)
- [Query parameters](<https://sqlty.kuncar.dev/guide/parameters/index.md>)
- [psycopg](<https://sqlty.kuncar.dev/guide/psycopg/index.md>)
- [Query variants](<https://sqlty.kuncar.dev/guide/query-variants/index.md>)
- [Row types](<https://sqlty.kuncar.dev/guide/row-types/index.md>)
- [Schema inference](<https://sqlty.kuncar.dev/guide/schema-inference/index.md>)
- [Queries in .sql files](<https://sqlty.kuncar.dev/guide/sql-files/index.md>)
- [Untyped queries](<https://sqlty.kuncar.dev/guide/untyped/index.md>)
- [Writing queries](<https://sqlty.kuncar.dev/guide/writing-queries/index.md>)

## Optional

- [Coding agents](<https://sqlty.kuncar.dev/recipes/agents/index.md>)
- [CI and pre-commit](<https://sqlty.kuncar.dev/recipes/ci/index.md>)
- [Neovim, Vim, Helix and Emacs](<https://sqlty.kuncar.dev/recipes/editors/index.md>)
- [Migration](<https://sqlty.kuncar.dev/recipes/migration/index.md>)
- [VS Code](<https://sqlty.kuncar.dev/recipes/vscode/index.md>)
- [Python API](<https://sqlty.kuncar.dev/reference/python-api/index.md>)
- [Engine](<https://sqlty.kuncar.dev/reference/engine/index.md>)
- [Playground](<https://sqlty.kuncar.dev/playground/index.md>)
- [Credits](<https://sqlty.kuncar.dev/credits/index.md>)