★ 22 · Updated 2026-10-02
Requires contracts, invariants, termination arguments, base cases, and edge cases before producing or reviewing non-trivial algorithmic code.
Browse skills that use this input.
★ 22 · Updated 2026-10-02
Requires contracts, invariants, termination arguments, base cases, and edge cases before producing or reviewing non-trivial algorithmic code.
★ 816 · Updated 2026-02-10
Routes requests to multiple LLM models through a single OpenAI-compatible API.