Install any skill in seconds. Free to start, no credit card required.
Get Started Free →Ghostty submodule and GhosttyKit workflow rules for cmux. Use when modifying the ghostty submodule, rebuilding GhosttyKit.xcframework, updating the parent submodule pointer, or documenting fork conflict notes.
| Test case | Without → With | Effect | Δ tokens | Δ turns |
|---|---|---|---|---|
| case-09 | ✗→✓ | ▲ Improved | -50% | 0% |
| case-01 | ✗→✓ | ▲ Improved | -31% | 0% |
| case-03 | ✗→✓ | ▲ Improved | 2% | 0% |
| case-05 | ✗→✓ | ▲ Improved | -67% | 0% |
| case-11 | ✗→✓ | ▲ Improved | -27% | 0% |
Always rebuild the xcframework with Release optimizations:
bashcd ghostty && zig build -Demit-xcframework=true -Dxcframework-target=universal -Doptimize=ReleaseFast
Ghostty changes are committed in the ghostty submodule and pushed to the manaflow-ai/ghostty fork. Keep docs/ghostty-fork.md current with fork changes and conflict notes.
Always run git remote -v first and push to whichever remote is manaflow-ai/ghostty. .gitmodules sets the submodule URL to that fork, so in a normal checkout it is origin; older setups tracked upstream as origin and added the fork as manaflow. Substitute the right name below.
bashcd ghostty git remote -v # find the manaflow-ai/ghostty remote (usually origin) git checkout -b <branch> git add <files> git commit -m "..." git push origin <branch>
To pull in changes from upstream ghostty-org/ghostty, add it as an explicit remote first, since no checkout has it by default:
bashcd ghostty git remote add upstream https://github.com/ghostty-org/ghostty.git # once git fetch upstream git checkout main git merge upstream/main git push origin main
Then record the new SHA in the parent repo:
bashcd .. git add ghostty git commit -m "Update ghostty submodule"
For any submodule (ghostty, vendor/bonsplit, homebrew-cmux), push the submodule commit to its remote branch before committing the updated pointer in the parent repo. Never commit on a detached HEAD or a temporary branch: the parent then points at a SHA unreachable from any remote branch, and a future checkout or CI job fails to fetch it.
Verify the commit is reachable from the branch the pointer should track, using the remote you just pushed to:
bashcd ghostty && git fetch origin main && git merge-base --is-ancestor HEAD origin/main
Other measured skills in the registry, with their headline benchmark lift.