Skills

Level-of-Detail for Large Content

Lean 4 theorem proving toolkit

Implement Algolia search UIs in Nuxt 3 apps

Workspace commands and guidelines for Nx tasks and tools

A systems language with Go-like syntax and Rust-like ownership.

15 skills implementing the LLM Wiki pattern.

Calculate the overpotential for the oxygen evolution reaction.

Observational Bridge Time Travel Skill

Agent skill for driving Oi personal agent OS.

Evaluate finished work for defects, risk, and simplification before it ships

Streamline OmniDocBench evaluations with Docker and validation workflows.

Multi-Agent Orchestrator for Code Analysis and Bug Investigation