Software-delivery evidence

Know what supports the software you ship.

Review the repository. Check the agent’s report. Understand the tools behind the verdict. Barg Labs makes software-delivery evidence easier to inspect and use.

Open-source toolsReproducible recordsEvidence limits stated
agent report vs. record
Illustrative
Tests: 42 passed
JUnit record: 42 passed
Closes #117
Closing relation: #117
Files changed: 3
PR changed 4 files, 1 undeclared
Merged 14:02 UTC
Merged 14:02 UTC
Fail: 1 of 4 claims not in the recordre-runnable

Independent studio · Vancouver and London

Products

Tools and expertise for a decision you need to make.

Cejel checks the repository. Dunstan checks the agent’s report. Repository Evidence Review helps you interpret repository evidence for a named decision. Instrument Review measures the tools that judge code.

Cejel

Released · free and open source

Make repository evidence inspectable.

Cejel examines engineering signals in a repository and produces a reproducible report and trust certificate. Give reviewers evidence they can inspect alongside their own checks.

  • Engineering signals across tests, secrets, isolation and CI discipline
  • Deterministic: no model call, no network, no signup
  • Reports evidence limits; a trust certificate is not a security certification
  • npm, Homebrew, Docker and a GitHub Action

Dunstan

Released · free and open source

Check what the agent says it delivered.

Coding agents report what they did: files changed, tests passed, issues closed. Dunstan checks each claim the agent declares against the repository and CI record before you merge.

  • Checks the head commit, changed files, references, test and check counts, and timing
  • Fails closed: a claim the record cannot answer is never a pass
  • Deterministic and re-runnable, with no model call
  • Checks declared facts, not whether the work satisfies the requirements

Repository Evidence Review

Available now · fixed fee

One repository. One named decision.

Accepting a software delivery or reviewing a repository? We run Cejel with you in your environment, review what the evidence supports and where it stops, and deliver a two-page decision memo.

  • Scope, revision and inputs agreed before we start
  • Supervised local scan, pinned report and certificate, and a reproducibility re-run
  • Evidence session, readout and a two-page memo for whoever signs
  • Bounded evidence review; excludes remediation, runtime testing and certification

Instrument Review

Available now

Your AI judge, measured by someone else.

People accept what your scanner, code reviewer or AI judge says without seeing inside it. We test it on cases where the right answer is already known.

  • Cases, predictions and scoring frozen before anything runs
  • A record a third party can re-run
  • You see it first and choose whether it is published, not what it says
Who it’s for

Start with the question in front of you.

A delivery to accept, a completion claim to check, or a tool to evaluate.

Engineering leaders

Review a software handover.

Use repository evidence and declared-claim checks to inform the decision to accept a delivery.

Explore an evidence review

Teams using coding agents

Check the completion report.

Compare declared files, tests and references with the repository and CI record through Dunstan.

See Dunstan

Tool and platform teams

Measure the tools you rely on.

Commission a bounded Instrument Review, or explore how software-delivery evidence could fit your workflow.

Discuss an evaluation
Research you can inspect

Read the method. Inspect the result.

Our published studies show what was tested, how it was measured and where the conclusions stop.

These constructed studies do not estimate real-world error rates.

What we’re building toward

Engineering knowledge that keeps its context.

Engineering knowledge connected to supporting evidence, explicit authority and present applicability, preserved across repository and agent changes.

01

Supporting evidence

Keep the source and its limits attached to the knowledge it supports.

02

Explicit authority

Make clear who authorised a decision and what that authority covers.

03

Present applicability

Distinguish a historical lesson from evidence that still applies now.

04

Continuity

Preserve context as repositories, tools and agents change.

This is our longer-term direction. Today’s tools provide focused repository and claim checks; broader knowledge continuity and authority workflows remain in development.

How we work

Evidence that survives someone else checking it.

Offline by design

Cejel runs where the code lives: no network, no model call, nothing sent to us.

Checkable records

Cejel reports and Dunstan records can be reproduced. Studies state their inputs, method and limits.

Limits stay visible

A missing source, an unverified claim and an observed contradiction mean different things. The record should say which.

Predictions frozen first

We write down what we expect before we run, and publish when we are wrong.

Company

Built by an engineer who has shipped software for 25 years.

Barg Labs is led by Houman Azimi-Nejadi, a software engineer and founder with more than 25 years of experience building complex software systems across multiple domains.

The company works closely with expert collaborators across product, engineering, and web systems, and is based in Vancouver and London.

Barg Labs is a member of NVIDIA Inception, NVIDIA’s program for startups, and of Claude for Startups, Anthropic’s program for startups building with Claude.

Bring us the decision. We’ll start with the evidence.

Discuss a repository review, an independent tool study or a potential integration. We’ll agree what can be checked, what evidence is needed and what remains outside scope.

Talk to Barg Labs