Skip to content

Editor Setup

Prove has support for multiple editors through tree-sitter parsers and LSP. This section contains guides for setting up your favorite editor.

Supported Editors

Editor Syntax Highlighting LSP Formatter
Neovim tree-sitter prove-lsp prove CLI
VS Code tree-sitter prove-lsp prove CLI
Other tree-sitter — prove CLI

Quick Start

All editors require:

  1. Install Prove: 

    pip install -e ".[dev]"

  2. Install tree-sitter parser (see editor-specific guide)

  3. Install prove-lsp (optional but recommended): 

    prove setup

Requirements

  • Python 3.11+
  • tree-sitter CLI (for building parsers)
  • A compiler (gcc/clang) for building native components