Agent skills for Grok Build

Query Polymarket: markets, prices, orderbooks, history.

Polynomial chaos for uncertainty propagation

Forces the laziest solution that actually works, simplest, shortest, most minimal.

Review a diff for over-engineering. Finds what to delete: reinvented stdlib, needless deps, speculative abstractions. One line per finding.

Use a cost-controlled coding workflow in which the primary task gives a detailed execution plan, then exactly one fresh, user-selected…

Use when packaging a POPL artifact — above all a mechanized proof development in Rocq/Coq, Lean, Agda, or Isabelle — for the…

Use when planning a POPL campaign calendar — backward-scheduling theory and mechanization from the July deadline, riding the October…

Use when deciding which ppsych-* sub-skill to invoke next, or when sequencing a broad integrative review, theoretical statement, or…

Use when revising a Perspectives on Psychological Science (PoPS) piece for the PoPS voice — broad, provocative, accessible to…

Stratify patient populations by risk level using claims data, clinical data, and social determinants to prioritize care management…

Popup and modal optimization for conversion.

Design technical architecture from a PRD.

Design an SDK architecture for an API — language targets, idiomatic patterns, and code generation strategy.

Diagnose port-level issues on host or container.

Port firmware from one architecture/board to another as a faithful 1:1 functional copy — reverse-engineer a provided firmware image (a…

Review an existing SDK for idiomatic quality, consistency, and developer ergonomics.

Convert HTML and Markdown content into Portable Text blocks for Sanity.

Resolve and load any agent capability across the whole fleet from one place.

Use these skills to analyze, test, or design the competitive strategy of a product, service, business unit, or initiative…

Track the IP portfolio — registrations, renewals, maintenance fees, and use declarations.

Add or update project entries, blog posts, placeholders, and related images for Byron Wall's personal portfolio site at…