Mifal 0.1.2

The first public release of Mifal: one engineering workflow for Claude Code, Codex, Droid, Pi and OpenCode, with a validator that refuses a brief, a receipt or a phase record that lacks its evidence.

Alpha. macOS only, Python 3.9 or later, MIT.

git clone https://github.com/romiluz13/mifal.git
cd mifal
./install.sh --dry-run
./install.sh
mifal doctor

What's in it

• One Guide in each agent's rules file, and the same 39 skills: Matt Pocock's engineering skills run as ordered phases, plus DDD, review and team leading.
• validate_contracts.py, which the Guide has the agent run at each gate: a record without its evidence is refused, and the refusal prints the fix.
• An installer that previews every write, adds one Marked block to your rules files and leaves the rest as you wrote it, and journals each install so an interrupted one is rolled back the next time you run mifal or the installer. mifal update installs exactly the revision it showed you; mifal uninstall removes what Mifal wrote and keeps any file you edited.
• mifal doctor, a read-only check of the wiring.
• The team lead skill and an experimental Herdr adapter, for a team of agents in Herdr panes.

Since 0.1.1

• The Herdr adapter reports a deadline that expires inside a read as the request deadline on Python 3.9 too; before, it surfaced as a bare "timed out". Found by the full test suite on GitHub Actions.
• The README makes only the claims its evidence supports, and the long sections moved to docs/INSTALL.md and docs/TRUST.md.
• A website at romiluz13.github.io/mifal, with an interactive replay of how Mifal 0.1 was built.
• SECURITY.md, CONTRIBUTING.md and a problem-report template.

Known limits

• No agent has a recorded live check yet; the support matrix in the README says so.
• Linux and Windows are not supported.
• What a program checks, and what relies on the agent following the Guide, is in docs/TRUST.md.