1. Introduction
2. 1. Configuration
3. 2. Language Server
4. 1. 2.1. Static Analysis
   2. 1. 2.1.1. Rules
      2. 2.1.2. Diagnostic Codes
      3. 1. 2.1.2.1. Type Safety Diagnostics
         2. 2.1.2.2. Annotation Diagnostics
         3. 2.1.2.3. Dunder Pattern Diagnostics
         4. 2.1.2.4. Dynamic Python Diagnostics
         5. 2.1.2.5. Type System Diagnostics
         6. 2.1.2.6. Attribute Diagnostics
         7. 2.1.2.7. Pattern Typing Diagnostics
         8. 2.1.2.8. Variance Diagnostics
         9. 2.1.2.9. Mode Diagnostics
         10. 2.1.2.10. Pattern Diagnostics
         11. 2.1.2.11. Import Diagnostics
         12. 2.1.2.12. Scope Diagnostics
         13. 2.1.2.13. Name Resolution Diagnostics
         14. 2.1.2.14. Data-Flow Diagnostics
      4. 2.1.3. Type Checker
      5. 1. 2.1.3.1. Type Checking Modes
5. 3. Editor Extensions
6. 1. 3.1. VS Code
   2. 3.2. Zed
7. 4. Formatting
8. 1. 4.1. Whitespace
   2. 4.2. Print Width
   3. 4.3. Strings
   4. 4.4. Imports
   5. 4.5. Structure
   6. 4.6. Suppressions
9. 5. CLI
10. 1. 5.1. Static Analysis
    2. 5.2. Linting
    3. 5.3. Type Checking
    4. 5.4. Language Server
    5. 5.5. Formatter
    6. 5.6. Debug Tools
11. 6. Research
12. 1. 6.1. Hindley–Milner
    2. 6.2. Language Server Protocol
    3. 6.3. Tree-sitter
    4. 6.4. PEP8
    5. 6.5. PEP484 & 585
    6. 6.6. PEP561
    7. 6.7. PEP634 to 636
13. 7. Development
14. 1. 7.1. Typeshed Integration
    2. 7.2. Benchmarking
    3. 7.3. Tracing & Observability
    4. 7.4. Typechecker
    5. 7.5. Static Analyzer
    6. 7.6. Formatter
    7. 7.7. Linter
    8. 7.8. LSP Server
    9. 1. 7.8.1. Goals & Scope
       2. 7.8.2. Architecture
       3. 1. 7.8.2.1. Documents
          2. 7.8.2.2. Caching
          3. 7.8.2.3. Capabilities
          4. 7.8.2.4. Requests
          5. 7.8.2.5. Workspaces
          6. 7.8.2.6. Interpreter
       4. 7.8.3. Logging and Observability
       5. 7.8.4. Testing Strategy
       6. 7.8.5. Current Limitations
       7. 1. 7.8.5.1. Next Steps
    10. 7.9. Testing