Skills

Level-of-Detail for Large Content

Lean 4 theorem proving toolkit

Implement Algolia search UIs in Nuxt 3 apps

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

15 skills implementing the LLM Wiki pattern.

Observational Bridge Time Travel Skill

Agent skill for driving Oi personal agent OS.

Streamline OmniDocBench evaluations with Docker and validation workflows.

Multi-Agent Orchestrator for Code Analysis and Bug Investigation

Build MySQL queries and manage transactions with ease.

Senior Engineer Mode for Solution-Driven Execution

Transform academic papers into conference-ready posters.