Skills

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.

Calculate the overpotential for the oxygen evolution reaction.

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

Streamline your pull request process with automated checks and templates.

Shared orchestration engine for the orch-* skill family.

Build MySQL queries and manage transactions with ease.