Release v0.1.0 — Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents · wahyuzero/code-oracle

Code Oracle v0.1.0

Official initial release of Code Oracle, the sub-50ms neuro-symbolic verification oracle for AI coding agents.

Multi-Language AST Topology: Full support for Python, TypeScript/JavaScript, Go, and Rust using unified Tree-sitter AST extractors.
Deterministic Symbolic Gate: Tarjan's strongly connected components (SCC) cycle detection and interface contract invariance with sub-25ms hard-veto fast-fail.
Tyranid-BERT Decision Model: Quantized 164M INT8 ModernBERT multi-task model on ONNX Runtime CPU (wxsys/tyranid-bert on Hugging Face).
Static Dead Code Scanner: Reachability analysis identifying 0-in-degree orphan functions and unreferenced symbols (code-oracle dead-code).
Performance Anti-Pattern Linter: Detects (N^2)$ nested loops, unclosed resource handles, and async event-loop blocking (code-oracle perf-lint).
Lean FastMCP Server: Single-tool verify_patch interface (< 100 context tokens) designed for Claude Code, Cursor, and Antigravity.
Git Pre-Commit Hook: Automatic repo verification before commit with emergency bypass toggle (code-oracle hook).

# Install core package from wheel or PyPI
pip install code-oracle

# Install with neural ONNX Runtime acceleration
pip install "code-oracle[neural]"

Full Changelog: https://github.com/wahyuzero/code-oracle/commits/v0.1.0