Skip to content

Tools

Rzk proof assistant comes with built-in language server and formatter.

Other tools help enhance user experience or automate things.

VS Code extension for Rzk

See rzk-lang/vscode-rzk. VS Code extension offers a lot of conveniences and using VS Code is recommended for newcomers, as it is considered the primary use case and has most support from the developers.

MkDocs plugin for Rzk

See rzk-lang/mkdocs-plugin-rzk. MkDocs plugin enhances documentation build from literate Rzk Markdown files: - adds diagram rendering (experimental) - adds definition anchors (helpful to have "permalinks" to definitions)

GitHub Action for Rzk

See rzk-lang/rzk-action. This action allows to check your Rzk formalizations on GitHub automatically. It can also be used to check formatting (experimental).

Syntax highlighting (Pygments) for Rzk

See rzk-lang/pygments-rzk. This is a simple syntax highlighter for Pygments (used by MkDocs and minted package in LaTeX). Note that VS Code extension is using the Rzk Language Server for more accurate "semantic highlighting".