Skip to content
@vela-science

vela-science

Bounded, reproducible scientific work with research agents and human authority.

Vela Science

Vela Science builds public infrastructure for bounded, reproducible scientific work with research agents. Agents may produce evidence. Verifiers may check it. Humans retain authority over scientific acceptance.

Three layers

  1. Vela is the protocol and reference implementation for version-controlled scientific state: event logs, artifacts, Receipts, policy routing, deterministic replay, and protected human decisions.
  2. Canopus is the replaceable producer and runtime. It gives Codex a preregistered mission, bounds worker activity, invokes independent verifiers, and lands evidence through released Vela interfaces.
  3. Standalone frontiers are the Git custody sources for each scientific state machine. They remain separate repositories so every frontier has an independently clonable log, policy, replay surface, and history.

Vela Observatory at app.vela.space is an anonymous, read-only projection of those public frontiers. It can display evidence and pending review, but it cannot approve or mutate scientific state.

OpenAI Build Week

Canopus: Bounded Research for Codex
Give Codex a mission. Verify the work. Keep humans in authority.

Public frontiers

Verifier success is evidence, not acceptance. No model belongs in the protected decision path.

Pinned Loading

  1. vela-research-harness vela-research-harness Public

    Canopus: bounded research for Codex, with independent verification and human authority.

    TypeScript

  2. vela vela Public

    Version control for scientific state: an open protocol for evidence, Receipts, policy, replay, and human decisions.

    Rust

  3. formal-conjectures-frontier formal-conjectures-frontier Public

    Standalone Vela custody source for formal-conjectures Lean proof state.

    Lean

  4. erdos-frontier erdos-frontier Public

    Standalone Vela custody source for the Erdős-problem audit and bounded research state.

    Python

  5. quantum-codes-frontier quantum-codes-frontier Public

    Standalone Vela custody source for quantum stabilizer-code scientific state.

  6. sidon-frontier sidon-frontier Public

    Standalone Vela custody source for verified Sidon-set lower-bound records.

    C++ 1

Repositories

Showing 9 of 9 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…