Vanyx
Unified instrument atlas

One platform. Every scientific room.

Move from a question to evidence, proof, autonomous research, or an interstellar ship design without leaving Vanyx.Science. Every door below tells you exactly what works now and what is still protected by the kernel safety boundary.

5
Product rooms
182
Kernel capabilities
9
Room paths live
164
Tenant-bound kernel

Access map

No mystery doors

A preview is never presented as working compute. A safety-boundary item cannot call the imported kernel from your browser. The capability ledger maps 182 user capabilities across 62 scientific domains without turning raw infrastructure operations into product controls.

Available now

Opens an existing Vanyx.Science workflow.

9 paths

Foundation preview

The room is mapped, but this item is read-only or not yet interactive.

1 path

Safety boundary

User execution waits for authenticated tenant and project isolation.

5 paths

Enter the rooms

Room 03 · Fundamental models

Physics & Cosmos

Move from a physical question to explicit assumptions, computation, comparison, and an evidence-bearing result.

  • Available now

    Scientific workspace

    Ask Vera to structure a physics investigation, work through equations, run current Science tools, and preserve the result in a project.

    Open the workspace
  • Available now

    Orbital mission model

    Inspect a current interactive model that separates literal relationships from compressed visual scale.

    Inspect the model
  • Safety boundary

    Sealed physics engine

    The imported simulation and verification armory remains non-interactive until requests are authenticated, isolated, quota-bound, and receipted.

Designed outcome: Cosmology, gravity, fields, plasma, and propulsion analyses that show their assumptions and verification state.

Room 04 · Complex systems

Matter & Life

Connect materials, chemistry, biology, and neural systems without hiding the distance between evidence and hypothesis.

  • Available now

    Evidence-aware synthesis

    Use Vera’s current research workspace to compare sources, separate established findings from speculation, and capture knowledge anchors.

    Begin a study
  • Foundation preview

    Cortex and Substrate rooms

    Read-only room foundations are mapped here while their visual instruments are rebuilt inside the Science shell.

  • Safety boundary

    Kernel-backed simulations

    Materials, molecular, biological, and neural-system runs stay closed until each user and project receives an isolated execution context.

Designed outcome: Cortex and Substrate rooms for inspecting living and non-living systems across scales.

Room 05 · Machine verification

Proof & Verification

Make the difference between a plausible answer, a checked computation, and a machine-verified statement visible.

  • Available now

    Formal proof workspace

    Work with Vera on Lean 4 and Z3 proof paths inside an existing project, with fail-closed verification rules.

    Start a proof
  • Available now

    Evidence and provenance

    Current Science workflows preserve claims, anchors, receipts, and publication evidence instead of presenting an unqualified answer.

    Browse publications
  • Safety boundary

    Unified kernel receipts

    Cross-room computation receipts remain blocked until tenant identity and project provenance survive the entire request and job lifecycle.

Designed outcome: A verification room where claims, formal statements, assumptions, proofs, and provenance remain connected.

Room 06 · Research memory

Literature & Discovery

Search, compare, write, and publish without losing the source trail that makes a scientific claim auditable.

  • Available now

    Publications archive

    Browse research outputs and their visible evidence state in the current Science archive.

    Open the archive
  • Available now

    Research and writing workspace

    Use Vera inside a project for literature work, notebook capture, manuscript development, and research provenance.

    Start researching
  • Safety boundary

    Unified literature armory

    Imported corpus tools remain unavailable until queries, stored artifacts, and background jobs are isolated by user and project.

Designed outcome: A literature room that joins papers, datasets, notes, claims, anchors, and public outputs around the work they support.

Room 07 · Durable research

Autonomous Research

Delegate bounded investigations while preserving human intent, stop conditions, budgets, evidence, and review.

  • Available now

    Science research agents

    Create a project with Vera and use the current Agents / Runs workspace for supported long-running research workflows.

    Plan a mission
  • Available now

    Campaign and peer workflows

    Current Science foundations connect private research, peer review, communities, and opt-in public campaigns.

    Browse communities
  • Safety boundary

    Unified kernel campaigns

    Imported campaign, loom, forge, and job orchestration cannot run for users until fair scheduling and tenant-safe job propagation are proven.

Designed outcome: A mission room for agent teams, durable runs, hypothesis tournaments, peer review, and reproducible handoff.