Apohara PROBANT is a cross-AI code verification platform. Gemini writes a review; a 12-vendor adversarial ensemble (Claude, GPT, DeepSeek, Kimi, GLM, Qwen, Nemotron, MiniMax, Big-Pickle, Mistral Large, Grok 2, Perplexity Sonar) independently audits the output for prompt injection, vulnerabilities, and logic bugs. Verifiable, not claimed: - 12 vendors via OpenRouter, each in an isolated KV-cache enforced by INV-15 JCRSafetyGate. Paper v3.0 (formal Z3 SMT proof, UNSAT on negation in 10.08 ms) complements v2.0.1 empirical sweep (0/1210 violations). DOI 10.5281/zenodo.20277875. - JBB-Behaviors block rate 93.75% (Wilson 95% CI [86.2%, 97.3%], n=80 holdout). Numbers from logs/*.json, not marketing. - 120+ pytest tests + 15+ measurement JSON logs. - Multi-hardware: AMD MI300X (ROCm 7.2) + NVIDIA H100. Four hardening layers (auditable in repo): 1. Veea LobsterTrap DPI subprocess pre-check — measured: SQLi block 50% (n=20, CI [29.9%, 70.1%] directional), benign FPR 9.8% (n=51). Live demo SQLi returns verdict=blocked in ~25 ms. 2. Prompt envelope nonce-tagged sentinels (Hines et al. arXiv 2403.14720). 3. HMAC-SHA256 verdict ledger chain. verify_chain() catches tampering. 4. NO-HEDGING gate (HARD/SOFT split, judge uncertainty flagged). Distribution: Cursor / Claude Code plugin shipped as VSIX. MCP server (stdio) for Claude Desktop / Cursor / Zed. /v1/verify_stream SSE for live per-vendor results. /dashboard for ops view. Stack: FastAPI/Python 3.11+, React+Vite + Next.js SSR PoC, Apache-2.0, monorepo across 3 GitHub orgs. Live demo BYOK or 5 free/IP/day.
Category tags: