specoracle
specoracle contains 3 collected skills from jasontang-ai, with repository-level occupation coverage and site-owned skill detail pages.
Skills in this repository
Use this to mathematically guarantee zero race conditions and logical correctness via Dafny formal verification.
SlopBench soft oracle derived from Andrej Karpathy's behavioral guidelines for LLM coding (https://github.com/forrestchang/andrej-karpathy-skills). Enforces simplicity-first design, surgical changes, and goal-driven execution as structural constraints. Pipeline: https://github.com/davidkimai/specoracle
SlopBench soft oracle enforcing the Zen of Python (PEP 20) as structural quality constraints during LLM code generation. Conditions outputs toward simplicity, flatness, explicitness, and local auditability. Pipeline: https://github.com/davidkimai/specoracle