Skip to content

v0.12.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Oct 04:27
v0.12.0
7137a57
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Changes

  • Sync pstack from 11713c6 to eb4db2b. The bundle grows from 54 to 60
    skills. It adds create-formal-verification-skill,
    maintain-formal-verification-skill, statechart, in-your-own-words, and
    sharpen, and updates the guides and provenance manifests.
  • /setup-mstack now offers once to generate a formal verification skill when
    the project has none.
  • Normalize line endings for .cfg, .mmd, and .tla files in skill baseline
    digests, so a baseline recorded on a Windows checkout matches one on Linux.
  • The statechart CLI prints paths with / on every platform.
  • Record the current Claude Code, Codex CLI, OpenCode, pi, Antigravity, and
    Grok versions in the docs.
  • Add Dependabot version updates.

Upgrade notes

Reinstall mstack to receive the new skills:

npx @3metajun/mstack --harness all --replace

Verification

PR #54 passed the full Node 18/22 matrix on Linux, macOS, and Windows, plus
meta-mode, package, and strict upstream checks. The statechart tests pass on
Windows; the tests that need TLC are skipped.

Assets 2
Loading