Skip to Content
Start HereOverview

Start Here

Start with the setup lane that matches how you want to work.

This is the default workflow. Your IDE coding agent has source context, so it can set up the verification project, write contracts, run checks, inspect structured failures, and repair the source.

  1. Install the Glubean skill:

    npx skills add glubean/skill
  2. Tell your agent:

    Use the Glubean skill and set up a verification project.
  3. Let the agent inspect your app repo and decide whether to create a separate Glubean project or reuse an existing one.

  4. Let the agent guide or apply SDK, runner, CLI, MCP, and config setup.

  5. Let the agent write the first small contract, workflow, or raw test().

  6. Run locally through MCP or npx glubean run.

  7. Upload the run to a Target when the evidence is useful to the team.

Read IDE & Local, then Run Your First Check.

Glubean is end-to-end verification, so a dedicated verification project is often the right shape. Treat it like an API test workspace that targets your real app, not like unit tests embedded in a Vite/Jest/Vitest app.

If you are reviewing API behavior in the webapp

  1. Open a Target to inspect uploaded run evidence.
  2. Open Specifications to read synced contract promises.
  3. Use Explore to send requests or run flows.
  4. Ask the agent about the current view when the evidence is hard to parse.

Read How Glubean Works, then Targets & Runs.

If you are designing docs

  1. Check whether a Specification already exists.
  2. Import its projection into APIs when you need writer-controlled docs.
  3. Add prose and examples.
  4. Publish through Portals.

Read APIs & Portals.

Manual quick starts

These pages hold the detailed commands when you are setting things up by hand:

Last updated on