repository explorer

mizchi · Repositories and representative skills - Page 2

Repository-level view of 121 collected skills across 23 GitHub repositories.

#13mizchi/pkfire1 skills

pkfireExplain, operate, and troubleshoot `pkf`, the pure-MoonBit CLI for the pkfire typed task runner, and author or maintain its `Taskfile.pkl` files. Use when a user asks what pkf is, wants to inspect or run a task graph, add cached tasks or services, model…Aug 31, 2026

#14mizchi/chaosbringer1 skills

chaosbringerWrite fault-injection and chaos tests for a web app with chaosbringer — deliberately breaking fetches, delaying responses, hanging requests, or enumerating a failure space with a model checker, then asserting the app handled it. Use this skill whenever…Aug 22, 2026

#15mizchi/dspec1 skills

dspec-intent-formal-implementation-driftReview a dspec daily drift packet that reconciles Intent goals and claims, formal artifacts, generated test oracles, and implementation evidence. Use when investigating scheduled drift reports, planning a formal-model change, triaging check/drift/coverage…Aug 10, 2026

#16mizchi/tui.mbt1 skills

tuimbt-practiceMoonBit TUI library practice guide for terminal UI apps, layouts, and reactive state.Apr 16, 2026

#17mizchi/npm_typed.mbt1 skills

mooncheatMoonbit cheatsheet to check syntax and corelibrary usagesDec 8, 2025

#18mizchi/uneffect1 skills

uneffectAdd, review, or operate Uneffect annotations and checks for TypeScript. Use for gradual capability effects, Hoare-style contracts, async ownership, temporal models, React semantics, Trusted Types, and bounded numeric or typed-array checks; do not present…Aug 29, 2026

#19mizchi/pkl-mbt1 skills

mpklUse mpkl to parse, typecheck, evaluate, or normalize Apple Pkl files and inline source in a WebAssembly command. Use when an agent needs to validate a local Pkl file tree with relative imports or cached package:// dependencies, inspect evaluated configuration…Aug 29, 2026

#20mizchi/moon-pprof1 skills

moon-pprofUse when investigating MoonBit performance, locating CPU/allocation/retained-heap hot spots, comparing baseline vs patched, converting profiler formats to/from pprof/Chrome trace/Speedscope/folded stacks, or profiling MoonBit code across native / wasm-gc /…May 27, 2026

#21mizchi/moomaid1 skills

moomaid-diagrammingSelect, write, and render Mermaid diagrams that explain source code, module boundaries, system architecture, request flows, data models, project plans, or Git history. Use when a user asks which diagram best communicates a technical design, asks for an…Jul 28, 2026

#22mizchi/moon-component1 skills

moon-componentHow to use the moon-component CLI (MoonBit WIT/component workflow).Feb 2, 2026

#23mizchi/justfile1 skills

justfileReference for just command runner. Provides justfile syntax and GitHub Actions examples.Jan 20, 2026