Skill UI

Master the Zod library for defining robust, type-safe schemas in TypeScript. This expert covers advanced validation techniques, including primitives, objects, unions, and discriminated unions. It specializes in type inference (`z.infer`), data coercion, complex refinements, and seamless integration with modern frameworks like React Hook Form, Next.js, and tRPC, ensuring consistency across your application state and API inputs.

Daily attendance register for check-in and check-out, hours worked, work mode, late minutes, leave and regularisation flags. Outputs CSV, SQL, JSON Schema or Notion mapping on request, suitable for payroll input.

This skill develops and verifies mathematical proofs using the Lean theorem prover. It handles creating new proofs, continuing incomplete projects, and auditing existing formalizations to ensure they match original statements. It connects inputs to lemmas, assembles theorems, and checks axioms for reproducibility. Use it for formal verification tasks rather than ordinary drafting.

A browser runtime skill that provides isolated WPE WebKit sessions, native input, screenshots, and ordered JSONL automation. Supports docker-based container lifecycle, deterministic testing, and GitHub Actions verification. Useful for reproducible browser checks and self-hosted runtime integration.

Analyze prompt structure to maximize LLM cache reuse, then measure input cost and latency. Covers stable prefixes, user/workspace boundaries, provider-specific cache counters and a cost comparison calculator for OpenAI, Claude and Gemini.