Borrowing it
Nothing to install: this file belongs to yusifeng/formax. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/yusifeng/formax/main/.codex/skills/formax-semantics-parity-workflow/SKILL.mdgit clone --depth 1 https://github.com/yusifeng/formaxWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/yusifeng/formax/formax-semantics-parity-workflow)<a href="https://agentmods.dev/skills/yusifeng/formax/formax-semantics-parity-workflow"><img src="https://agentmods.dev/badge/skills/yusifeng/formax/formax-semantics-parity-workflow/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/yusifeng/formax/formax-semantics-parity-workflow"><img src="https://agentmods.dev/badge/skills/yusifeng/formax/formax-semantics-parity-workflow.svg" alt="Reviewed on agentmods" width="80" height="20"></a>- NVIDIA SkillSpector pass
What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00049 | $0.01042 |
| Opus 5 | $0.00024 | $0.00521 |
| Sonnet 5 | $0.00010 | $0.00208 |
| Haiku 4.5 | $0.00005 | $0.00104 |
Grade A, and why
formax-semantics-parity-workflow scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 9d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 102 lines — stays where its author put it; the contents beside it link to each section on GitHub.
formax-semantics-parity-workflow
Goal
Use this skill when changing behavior that must stay consistent across TUI, app-server, and Web: mode, input lifecycle, tool sequencing, replay, or ordering.
Read First
docs/contracts/semantics-contract.mddocs/contracts/app-server-interaction-contract.mddocs/frontend/app-server-ui-spec.mddocs/contracts/interactive-input-contract.mdwhen input lifecycle changes
These docs are canonical. If stable cross-surface behavior changes, update them before or with code.
Code Map
1) Semantic single source of truth
packages/core/src/features/semantics/*canonicalEvents.tstranscriptProjection.tsmodeSemantics.tsreplModeTransition.tsturnInputBuilder.tsinputStateMachine.ts
2) App-server contract emit / restore
packages/core/src/app-server/turnRunner.tspackages/core/src/app-server/server.tspackages/core/src/app-server/threadStore.tspackages/core/src/app-server/store/sessionEventReader.tspackages/core/src/app-server/turn/inputStore.ts
3) TUI adapter (renderer can differ, semantics cannot)
packages/core/src/features/repl/controller/send/send.tspackages/core/src/features/repl/controller/streaming/streaming.tspackages/core/src/features/repl/useReplController.ts
4) Web adapter (renderer can differ, semantics cannot)
packages/web-reference-react/src/eventAdapters.tspackages/web-reference-react/src/App.tsxpackages/web-reference-react/src/store.tspackages/web-reference-react/src/turnEventCursor.ts
5) Canonical docs to keep in sync
docs/contracts/semantics-contract.mddocs/contracts/app-server-interaction-contract.mddocs/frontend/app-server-ui-spec.mddocs/contracts/interactive-input-contract.mdwhen input lifecycle changes
High-Signal Patterns
- Semantic-first implementation order:
- define contract / event shape / state transition
- update shared semantics
- update app-server emit / replay state
- update TUI and Web adapters
- update renderer-only UI last
- Ordering discipline:
replaySeqis the primary ordering keytraceId/seqare diagnostics and turn-local hints, not global order- on replay gap, rebuild from semantic baseline; do not keep stitching stale tails
- Tool semantics discipline:
- keep
toolUseId -> toolNamesticky behavior in semantics / adapter path - never depend on UI copy to infer tool state
- keep
- Mode/input discipline:
- mode is a semantic transition, not just a visual toggle
- input lifecycle remains a finite-state machine, not ad-hoc UI flags
What ships with it
1 file beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 9d ago First seen · 102 lines · 49 tokens per session scan A 4cc816f21b09
formax-semantics-parity-workflow is a skill published in the GitHub repository yusifeng/formax (193 stars, last pushed 1mo ago), licensed MIT. It adds 49 tokens to every session and 1,042 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other skills, from other repositories
教程类H5-小红书小工具
A method for building offline, single-page course experiences for Xiaohongshu’s Mini Tools, which are interactive pages published inside the platform. It combines written lessons, generated illustrations, and JavaScript page switching in a constrained container.
html-ppt-viewer
A simple HTML viewer that presents a set of existing images like a slide deck. It includes a side panel, large image display, page controls, and keyboard navigation, but does not create the images.
react
This skill should be used when the user works with React components (.tsx/.jsx), asks about "hooks", "state management", "context providers", "memo optimization", "useEffect", or discusses component composition and rendering performance. Provides patterns for hooks, state, effects, memoization, and React-specific…
ui-design
This skill should be used when the user asks to "design a component", "pick colors", "improve typography", "fix spacing", "choose a layout", or discusses visual design, CSS, styling decisions, or responsive interfaces. Provides patterns for typography scales, color systems, spacing, and production-grade UI design.
accessibility
This skill should be used when the user asks to "add accessibility", "check ARIA", "handle keyboard navigation", "add focus management", or creates UI components, forms, or interactive elements. Provides WCAG 2.2 AA patterns for keyboard navigation, ARIA roles and states, focus management, color contrast, and screen…
threejs
Build immersive 3D web experiences with Three.js - WebGL/WebGPU library for scenes, cameras, geometries, materials, lights, animations, loaders, post-processing, shaders (including node-based TSL), compute, physics, VR/XR, and advanced rendering. Use when creating 3D visualizations, games, interactive graphics, data…