Skip to content

0xh3lios/dossier

v0.2.0CC0-1.0

A toolkit for building a model of a system, checking it with formal methods and keeping it current as the system changes. An agent drafts the specification and the models, then runs the checks. TLC, Apalache and Alloy, not the agent, decide whether each property holds. You read the result from the agent's account of what the system does, written as behaviors, where each claim is tied to the evidence for and against it. You review the specification and decide what a counterexample means.

GitHubOpen Website
skills

explore

Open the explorer, a page in the person's browser that shows the dossiers root and never changes it. It lists every dossier under its next step, opens a dossier on its orientation and its behaviors in order, shows each claim's evidence and review standing, and keeps the charts, walks, traces and formal details within reach. Builds the page once with dossier explore --install, starts dossier explore and gives the address. Use for "show me the dossiers", "open the explorer" or "let me see the oracle's chart". Not for checking or changing anything.

Read SKILL.md at the source

Pinned to revision 9f94d71bb397, so it is the text this page describes rather than whatever the author pushed since.

Pre-approved tools experimental

Experimental field. Support varies between clients, so this list is what the author declared, not what your client will enforce.

  • Bash(dossier explore *)
  • Bash(dossier doctor)
  • Bash(dossier doctor *)

Files

Every link opens the file at its source, pinned to the revision this page describes.