Creates, validates, and animates Z (and B) specifications from source and generates code from specifications
翻譯準備中
外掛Python · ShellGitHub @punt-labs自行安裝營運者未確認
試用過了嗎？ 點一下就好，不需要登入。
依最近已完成的 8 小時觀測回合間的 GitHub 星號增量排序
The whole Maya workflow in Blender, in one install. Free and open source, Blender 4.5 – 5.2.
翻譯準備中
Share a Claude Code session with a link. Teammates join from their own Claude Code and work in it together.
翻譯準備中
正在載入完整 README。 以下為已儲存的摘錄。
Formal Z specifications and B machines that type-check, animate, and refine --- from English to math to code.
z-spec is a formal-specification toolkit for Z and the B-method, exposed as a
z-spec CLI and an MCP server (zspec), with an optional Claude Code plugin
that layers authoring commands on top. The engine type-checks specs with
fuzz, animates and model-checks
them with ProB, and renders results in a Lux window
when one is running.檢視完整 README ↗目前無法載入完整 README。請透過原文連結閱讀。 以下為已儲存的摘錄。
Formal Z specifications and B machines that type-check, animate, and refine --- from English to math to code.
z-spec is a formal-specification toolkit for Z and the B-method, exposed as a
z-spec CLI and an MCP server (zspec), with an optional Claude Code plugin
that layers authoring commands on top. The engine type-checks specs with
fuzz, animates and model-checks
them with ProB, and renders results in a Lux window
when one is running.檢視完整 README ↗