specoracle
specoracle contém 3 skills coletadas de jasontang-ai, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.
Skills neste repositório
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