Agent Skills by Chris Hafley
Showing 116 vetted skills indexed across 1 GitHub repositories.
hafley66ast-grep-patterns
Create and validate ast-grep patterns for tree-sitter parsed code structures.
hafley66prolog-core
Explain Prolog core concepts including facts, rules, queries, and backtracking.
hafley66typespec-cross-layer
Map TypeSpec types to Postgres DDL, Kotlin data classes, and TypeScript types.
hafley66linux-input-overlay-rust
Intercept Linux input events and render text overlays on X11 and Wayland.
hafley66brave-search
Retrieve Brave API results and summarize them with key URLs.
hafley66prolog-alt-languages
Compare non-Prolog logic programming languages for static analysis and constraint solving.
hafley66book-typography
Add margin notes, mermaid timelines, glossaries, and connections maps to mdBook projects.
hafley66alloy-languages
Assemble Alloy language packages for TypeScript, C#, Java, Python, and Go.
hafley66prolog-modules
Explain Prolog module declarations, imports, exports, and visibility for ISO/SWI projects.
hafley66typespec-custom-emitters
Create custom TypeScript emitters that generate outputs from TypeSpec programs.
hafley66ps1-graphics-rust
Creates PS1-era graphics with affine texture mapping and vertex snapping in Rust.
hafley66datalog-core
Explain Datalog fundamentals with termination guarantees for finite relations.
hafley66screenpipe-architecture
Extract and index macOS on-screen text using AX and OCR with SQLite storage.
hafley66prolog-demos
Consolidate Prolog learning resources into a navigable catalog.
hafley66macos-accessibility-rust
Read macOS AXUIElement trees to extract visible text and compute element bounds in Rust.
hafley66dioxus-rxjs-mapping
Translate RxJS reactive patterns into Dioxus/Rust signal equivalents.
hafley66prolog-dcg
Parse and generate text bidirectionally with Prolog Definite Clause Grammars.
hafley66typespec-core
Define and organize TypeSpec models, scalars, enums, and operations.
hafley66unify
Infer and render conversational trajectories as diagrams, code, or type signatures.
hafley66taffy-layout
Compute Flexbox, Grid, Block, and Float CSS layouts in Rust with Taffy.
hafley66prolog-arithmetic
Explain Prolog is/2 evaluation, arithmetic comparisons, and CLP(FD) constraints.
hafley66cross-platform-input-rust
List cross-platform input capabilities for Rust using rdev, enigo, and inputbot.
hafley66github-features
Automate GitHub repository governance with rulesets, CODEOWNERS, and review policies.
hafley66ast-grep-cli
Automate AST-based code searches, rewrites, and rule testing via YAML rules.