Who should use Velaris?

Velaris is an open-source project built for software developers and programming-language researchers.

Does Velaris have a free plan?

Yes — Velaris is open source under the Open Source license and free to use.

What platforms does Velaris run on?

Velaris runs on the command line. It can also be self-hosted.

Is Velaris still maintained?

Unverified. Velaris has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What are alternatives to Velaris?

Similar projects tracked by PulseGate include vaultbeat-mcp, Otto, and OpenHire.

Who develops Velaris?

Velaris is developed by gowrishankar-infra.

Is Velaris open source?

Yes — Velaris is open source under the Open Source license.

Back to the index

Velaris

Name: Velaris
Author: gowrishankar-infra

github.comInfrastructure

Velaris is an open-source programming language whose signatures declare types, effects, and machine-checked promises. It uses Z3 for verification and LLVM for compilation, targeting developers who want stronger guarantees for AI-written code.

Open SourceCLISelf-hosted

Visit github.com

Overview

6 features

In the Frameworks & SDKs space, Velaris takes a focused approach. It focuses on reducing the risk of incorrect AI-written code through machine-checked types, effects, and behavioral promises. Velaris is an open-source project aimed at software developers and programming-language researchers. The project is open source (Open Source). It runs on the command line, and it can be self-hosted.

gowrishankar-infra builds and maintains Velaris. Among its 6 catalogued features are type declarations, effect declarations, and machine-checked promises.

Summary written by a language model from the project’s public pages.

Type declarations
Effect declarations
Machine-checked promises
Z3 verification
LLVM compilation
AI code safety

Built with & integrations

Runs on

CLISelf-hosted

Trust & compliance

License

Open Source

Verified signals

HTTPSOpen SourceFree tier

Indexing history

What PulseGate has recorded for this listing

Indexed12 Sept · 13:07 UTC
Velaris verified via MCP Registry (official)
Source: MCP Registry (official) · Open

Frequently asked questions about Velaris

What is Velaris?: Velaris focuses on reducing the risk of incorrect AI-written code through machine-checked types, effects, and behavioral promises. It is catalogued under Frameworks & SDKs on PulseGate.
Who should use Velaris?: Velaris is an open-source project built for software developers and programming-language researchers.
Does Velaris have a free plan?: Yes — Velaris is open source under the Open Source license and free to use.
What platforms does Velaris run on?: Velaris runs on the command line. It can also be self-hosted.
Is Velaris still maintained?: Unverified. Velaris has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What are alternatives to Velaris?: Similar projects tracked by PulseGate include vaultbeat-mcp, Otto, and OpenHire.vaultbeat-mcp Otto OpenHire
Who develops Velaris?: Velaris is developed by gowrishankar-infra.
Is Velaris open source?: Yes — Velaris is open source under the Open Source license.

At a glance

Pricing: Open Source
Platforms: Desktop · API · CLI
Languages: English
License: Open Source
First seen: 12 Sept 2026
Built for: software developers and programming-language researchers
Model: Open source
Solves: Reducing the risk of incorrect AI-written code through machine-checked types, effects, and behavioral promises.

Developer

gowrishankar-infra

Index record

Indexed: 12 Sept 2026
Lifecycle: Alive
First seen: Sept 2026
Last seen: 12 Sept 2026

Identity audit (13)

Slug: velaris-github-com
Lifecycle state recorded: 12 Sept 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 12 Sept 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model, checked against the page's own declaration.
Last updated: 12 Sept 2026
Canonical URL: https://github.com/gowrishankar-infra/velaris-lang

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Frameworks & SDKs

Same category — not a similarity match