Skip to main content

snodo

CI OpenSSF Scorecard OpenSSF Best Practices PyPI License: Apache 2.0 Docs arXiv DOI Coverage Security Policy Built with snodo

Enforce your development process around whichever AI agent writes the code.

How snodo runs a task: an agent dispatches over MCP, pre-execute validators issue a signed token, any coder writes the change in its own worktree, post-execute validators run the tests, and clean work arrives as a pull request. A warning sends the findings back to the coder, which corrects and retries until the validators pass. A single blocker halts the run until a human acknowledges it and revises the intent, which starts the run again. Every step is appended to a hash-chained audit log.

Built with snodo

From v0.19.0, snodo is developed with snodo. Each change to this repository starts as a task spec, passes snodo's validators, is written by a coding agent in its own worktree, is verified by the test gate, and arrives here as a pull request that snodo opened. The protocol that governs this repository is .snodo/protocol.yml, and every run is recorded in its audit log.

AI coding agents are fast, confident and non-deterministic. They will report a task as finished while a test is failing, while the change has drifted outside the task, or while it contradicts a decision your team recorded months ago. Asking the agent again does not settle any of that. snodo is built for the gap: you describe your development process as a protocol, and the engine enforces it around whichever agent writes the code.

The protocol is a YAML file. It declares modes — the stages of your process, each with an explicit tool set — validators that must agree before work proceeds, and the policy for when they disagree. Enforcement is structural, not advisory: mutations are gated behind a signed validation token, a single blocker halts execution before any vote (so a critical finding cannot be outvoted), and every governance decision is written to a hash-chained audit log. snodo does not make an agent more reliable. It makes the process hold whether or not the agent cooperates.

The working loop

Connect an agent to Snodo over MCP. Group work into plans. A plan is one clear intention. Waves group its tasks: tasks in a wave run in parallel, and waves run in series. Queues group and schedule plans. Dispatch a single task only for a true one-off with no related work. A plan with one task in one wave adds nothing. The orchestrator then validates and starts the work. Each task still passes through the protocol's validator loop; jobs run asynchronously. Follow task status and progress in the configured cloud live view (/now?task_ref=<task_ref>) when cloud sync is configured, and follow live output with snodo logs <job_id> --watch. watch_job also has an optional MCP Apps panel, but some hosts (including Claude Desktop and relayed sessions) show only its plain-text snapshot.

Register Snodo's mode-pinned MCP servers with snodo serve --mcp-install. Installation supports Claude Desktop, Claude Code, Cursor, Gemini CLI and the Codex family (ChatGPT desktop, Codex CLI and IDE extension). It writes their user-level configurations: Claude Desktop's platform-specific config, Claude Code's ~/.claude.json, Cursor's ~/.cursor/mcp.json, Gemini CLI's ~/.gemini/settings.json, and Codex's ~/.codex/config.toml (relocated by CODEX_HOME). Only detected clients are updated; unrelated MCP entries are preserved and each updated client is reported. Restart each updated client to connect.

Optional job notifications can send project-named updates to ntfy, a generic webhook, Slack, Discord, or Teams. Configure targets in ~/.snodo/config.yml ($SNODO_HOME/config.yml when overridden), then check them with snodo config --notify-test. The configuration reference covers all user-level settings.

orchestrator → MCP validate/dispatch or plan/queue → job → live browser watch
                                                     └→ snodo logs <job_id> --watch

That makes snodo an AI-SDLC protocol engine: a governance layer over the software development lifecycle, for teams where AI agents are first-class contributors. The coder is interchangeable and separate from the judge — an in-process LLM client, a host CLI authenticated against your own subscription, or a containerised server all converge on the same gate and the same merge path.

Install and first run

Follow the canonical per-language first-run quickstart for Python, Node/TypeScript, Go, or Rust. It includes the starter files needed for the initial commit, the Git identity prerequisite, and each stack's detected test command and governed hello-world mock task. Try the published package without installing it with uvx snodo --version, or install it for regular use with uv tool install snodo; pip install snodo is also available as a fallback. Python 3.12+ is required.

Container image

Build the Snodo engine image from the repository root with docker build -f docker/Dockerfile -t snodo .. Run it against a mounted Git repository with docker run --rm -v "$PWD:/workspace" -w /workspace snodo ready; the image's entrypoint is snodo, so CLI arguments are passed directly. The image contains no code-host credentials; provide any required credentials through your runtime's normal environment or secret mechanism.

Before spending anything on an existing repository, run snodo ready. Without an LLM, it checks whether the artefacts the protocol expects — decision records, a resolvable test command, coder configs — are committed, and scores what is missing by how cheap it is to fix. Task worktrees only see HEAD, so "present on disk" is not enough. See the runbook for readiness, the full configuration surface, and the command reference.

What a mock run does

The canonical quickstart's --mock run uses a deterministic stub coder that writes a stack-specific hello-world fixture and test; it implements the hello-world task. The task still passes through the configured governance and verification flow, and the generated test passes with that stack's test runner available. The mock makes no provider API call and does not prove that a real coder can implement your project's requirements. For provider-backed coding, configure credentials (for example, snodo config add anthropic <key> or ANTHROPIC_API_KEY) and run without --mock.

Project status

Actively-developed research implementation (beta). The enforcement invariants — token integrity, capability boundaries, non-overridable blockers, audit completeness — are verified by property-based tests over randomised inputs. Measured size, complexity and the CI gates are on the docs home.

Three honest boundaries, so you meet them here rather than an hour in:

  • The opencode coder paths are experimental. litellm (the default), agy and mock are supported. The built-in litellm coder exists so snodo works with nothing else installed; if an expert CLI is available, prefer it.
  • The repository is trusted, not sandboxed. snodo runs your test and build commands, and a protocol file is executable input, like a Makefile or a CI config. ADR 014 is the threat model; do not point it at untrusted code.
  • This is a preprint-stage research artifact. The paper is under review; treat the code as a working implementation of the ideas, not a finished product.

Where to go next

Page What it covers
Protocol reference The full protocol.yml language: modes, validators, constraints, disagreement policies, well-formedness, templates
Coder backends Every --coder, how selection works, and how adapters are added
Runbook Install, configure, the CLI reference, MCP serving, troubleshooting
Configuration User settings, provider credentials, cloud, and job notifications
Architecture How enforcement works end to end, the package map, the invariant-to-mechanism table
Machine interface The versioned --json contract and validation-outcome exit codes
Authoring a plan The contract for hand- and orchestrator-authored multi-wave plans
Design decisions Every ADR, from PyJWT over custom HMAC to module-scoped governance
Docs home The published site

Research

Preprint: Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries — arXiv:2606.20615.

Prifti, Y. (2026). Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries. arXiv:2606.20615. https://doi.org/10.48550/arXiv.2606.20615

@misc{prifti2026snodo,
  title         = {Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries},
  author        = {Prifti, Ylli},
  year          = {2026},
  eprint        = {2606.20615},
  archivePrefix = {arXiv},
  doi           = {10.48550/arXiv.2606.20615},
  url           = {https://arxiv.org/abs/2606.20615}
}

Empirical studies live in studies/, and the paper's claims are mapped to code and tests in Research.

Contributing

See CONTRIBUTING.md.

License

Copyright (C) 2026 The snodo Authors. Licensed under the Apache License, Version 2.0 — see LICENSE.

Metadata

Release files for snodo 0.23.1

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for snodo 0.23.1
File Size Uploaded Provenance
snodo-0.23.1.tar.gz 280.0 kB With provenance Details

Built distribution (wheel)

Table of built distributions (wheels) for snodo 0.23.1
File Interpreter ABI Platform
snodo-0.23.1-py3-none-any.whl Python 3 none any Details

Total release size: 586.9 kB

Release files / snodo-0.23.1.tar.gz

Download URL snodo-0.23.1.tar.gz
Size 280.0 kB
Tags Source
SHA-256 checksum
How to use checksums
6b71bd74582b4e5b6003407817e4ecab0ce8c94da7d8a03d3aaf739d2c1dd082
BLAKE2b-256 checksum
How to use checksums
7de32d820b464df356137225b1642307608c2b09741a771e5e4f7400bb268764
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/7.0.0 CPython/3.13.14

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Oct 11, 2026.

Transparency log

Release files / snodo-0.23.1-py3-none-any.whl

Download URL snodo-0.23.1-py3-none-any.whl
Size 306.9 kB
Tags Python 3
SHA-256 checksum
How to use checksums
102028bc84a9f3de416053f8f092a0d50a6ee27bebe76a4835397acfb409526e
BLAKE2b-256 checksum
How to use checksums
12401a94909ac17a2fd40b3074735b37b4509b5cc2de3c4c6c5151896496f297
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/7.0.0 CPython/3.13.14

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Oct 11, 2026.

Transparency log

Security for snodo 0.23.1

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Full provenance

All 2 files in this release have been uploaded with provenance metadata.

Select from 2 files

Attestation for snodo-0.23.1.tar.gz

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Oct 11, 2026.

Transparency log

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

To learn more about protecting yourself from malicious actors, visit our package security documentation.

Release history Release notifications | RSS feed

This release

0.23.1 This release

2 release files Full provenance

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page