Back to directory

Ossature

An open-source build system that turns written specifications and architecture into working code, having an LLM generate each step under tight constraints and rebuilding only what changed.

Ossature

Ossature works from a spec file describing what software should do, an optional architecture file describing how components fit together and their contracts, and optional verification files holding test cases you write yourself as concrete inputs and expected results. Three commands drive the workflow: validate parses and structurally checks everything without an LLM, audit has an LLM read the specs, flag problems, and generate an editable build plan, and build runs that plan task by task, generating a few files per task, running its verification command, and entering a fix loop on failure.

Builds are incremental: changing one spec only rebuilds the tasks it affects, and an upstream change that leaves a spec's public interface unchanged does not pull its dependents along. When a task has a verification file, the plan includes deterministic test tasks built from those cases, and the LLM is never shown the expected values, so it cannot write code that fits the tests without actually passing them; with review turned on, an LLM also checks generated code against the spec and component contracts before marking a task done. It works with several hosted model providers as well as local models through Ollama, requires a recent Python version, and is currently an unstable pre-1.0 release.

More in Agent frameworks

See all 902
  • Recurse

    recurse.run

    A serverless harness that lets a coding agent design, test, and deploy its own specialist sub-agents as tools, MCP servers, or bots, defined by a schema-validated manifest.

  • ProofForge

    shulgin.is-a.dev

    An AI-agent pipeline that decomposes a mathematics problem, proves each piece, and formalizes the result in Lean 4 and Mathlib until the Lean kernel accepts it, with six of its proofs already merged into Google DeepMind's formal-conjectures repository.

  • local-coder

    github.com

    Builds a local coding-agent team on top of Ollama and OpenCode by detecting the machine's hardware, recommending models for seven specialist roles, and testing whether each assigned model can actually use tools, edit a repository and pass verification.