Specification-driven Platform for Embedded Agentic Reasoning

Overview

SPEAR is an engineering agent for specified systems. It keeps apart the agent that changes code, the control plane that confines it, the evidence of what it did, the normative reasoning about a bound standard, and the compliance evidence that judges a change — and computes its verdicts from that evidence on the final source state. Each turn is given the context of its own workspace — rules, skills, knowledge, project metadata and external capabilities — selected deterministically by workspace and task class.

• Overview: Introduction, Architecture, Glossary

Getting started

• Getting started: Quick start, Running the public image, Installation, Containerised environment

Using SPEAR

• Using SPEAR: spear-chat, Projects and corpora, Retrieval, Context, Workspace knowledge, External capabilities, Configuration reference

Request modes and evidence

• Request modes and evidence: Implementation mode, Normative mode, Mixed mode, Evidence and verdicts, Normative answer guards, The bound-session change workflow

The confined execution path

• The confined execution path

The model and its weights

• The model and its weights

Operations and reference

• Operations and reference: Operations, Troubleshooting, Testing, Directory layout

Contributing

• Contributing: Coding conventions, Development flow, Release process

To edit the documentation and to use the correct underlying policy, you can read this documentation style guide.