← All extensions

ZoKrates

v0.1.0 · by threonyl · added 3 November 2026

ZoKrates language support for Zed

Languages
Install in Forge SuperView the source

How to install

With Forge Super installed, the button above opens the app on this extension, where you press Install. Nothing is installed until you do.

You can also open the Extensions panel in the app and search for ZoKrates. The extension's id is zokrates.

Don't have Forge Super yet? Download it here.

README

From the extension's repository, written by its authors and not by Mentenaz. See the source.

ZoKrates for Zed

This is a Zed extension for the ZoKrates language.

Features

  • Syntax highlighting
  • Code outline
  • Auto-indentation
  • Bracket matching

Installation

Dev Extension

  1. Open Zed.
  2. Open the Command Palette (Cmd+Shift+P) and select zed: install dev extension.
  3. Select this directory (zed-zokrates).

Development

The grammar is located in the tree-sitter-zokrates repository.

Verification

To verify the extension queries against the grammar:

./verify.sh

This extension is not affiliated with the ZoKrates project.