What it does
Provides language expertise and a compiler-in-the-loop workflow for writing serverless handlers in the zigts TypeScript subset targeting the zigttp runtime. The skill teaches which language features are allowed/blocked, how to run zigts check --json to obtain structured diagnostics and proofs, and how to iterate until the handler passes verification. It also documents virtual modules (zigttp:*), contract extraction, and patterns for safe error handling and sandboxed imports.
When to use it
Use this skill when authoring or debugging .ts/.tsx/.js/.jsx handlers for zigttp, when you need to run the zigts verifier and parse its JSON output, or when you must produce a provable sandbox contract (env vars, hosts, modules). Trigger on compiler errors, proof review, or when converting existing handlers to the zigts subset.
What's included
- Scripts: none bundled in the skill folder, but references exist for virtual modules and testing.
- References: detailed
references/docs (virtual-modules, testing, JSX patterns). - Instructions: concrete CLI loop (write -> zigts check --json -> read suggestions -> fix -> repeat) and language rules / banned features list.
Compatible agents
Best used with code-capable agents that can run CLIs and parse JSON output (Claude Code, Copilot/Codex-style flows, or any agent with shell/JSON parsing support).
Étiquettes
Pas encore audité
Cette compétence n'a pas encore été examinée par notre pipeline d'audit automatisé.








