Search results

[Feature] Leo workspaces

proposalA proposal for something new.A proposal for something new.

tooling

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

🚀 featureA new feature.A new feature.

Status: Open.

#29140 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 19, 2026

[Feature] On VM halt (e.g. during leo test) the associated error should provide Leo source context

tooling

🔍 leo testAnything related to the `leo test` CLI command.Anything related to the `leo test` CLI command.

🚀 featureA new feature.A new feature.

🧱 Core CompilerAnything related to the core compiler including parsing, analysis, transforms, codegen, etc.Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.

Status: Open.

#29035 In ProvableHQ/leo;

· mitchmindtree opened on Dec 9, 2025

[Proposal] Syntax highlighting on blog

proposalA proposal for something new.A proposal for something new.

tooling

Status: Open.

#28949 In ProvableHQ/leo;

· vicsn opened on Oct 27, 2025

Circom transpiler

tooling

🚀 featureA new feature.A new feature.

Status: Open.

#28841 In ProvableHQ/leo;

· mohammadfawaz opened on Sep 9, 2025

[Feature] Support showing Leo programs in Provable explorer

tooling

🚀 featureA new feature.A new feature.

Status: Open.

Feature

#28664 In ProvableHQ/leo;

· vicsn opened on Jun 4, 2025

[Feature] Delegated proving integration.

tooling

🚀 featureA new feature.A new feature.

Status: Open.

#28647 In ProvableHQ/leo;

· d0cd opened on May 27, 2025