Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Getting started

Manifold does not yet have a published installation or hosted onboarding flow. You can check DSL source with the current repository checkout.

Create model.dsl at the repository root:

entity "vehicle-1" {
    description {
        name = "Service vehicle"
    }

    capacities {
        payload_mass = 800 kg
    }

    properties {
        payload_mass = 0 kg
        located_at = location(59.3293, 18.0686)
    }

    traits [vehicle]
}

task "keep-vehicle-at-base" {
    desired {
        @"vehicle-1".properties.located_at = location(59.3293, 18.0686)
    }
}

Check it from the repository root:

cargo run -p manifold-dsl -- check model.dsl

The command exits successfully without output when the source parses and resolves. It writes a source diagnostic to standard error and exits with a failure status when it finds an error.

This command checks the parsed and resolved source model. It does not materialize the source into the engine or produce a plan. Continue with the DSL overview, or read the CLI guide for standard input and base context.

The developer surfaces have distinct roles:

SurfaceRoleCurrent status
Manifold DSLDeclarative model sourceParsing, resolution, validation, diagnostics, and a check command are implemented in this repository.
Manifold SDKPublic name for developer librariesNo supported public package is published from this repository yet.
Manifold APIAuthenticated customer-facing data planeThe contract is under development.