Overview
I've merged more than 140 fixes into ML libraries like DeepSpeed, Unsloth and sentence-transformers, and about two-thirds were silent math bugs: no crash, CI green, approved by human and AI reviewers, and a wrong number for months or years. One DeepSpeed bug returned 53 instead of 9 for 933 days. Trojan PR is the missing layer in PR review: it checks the math, not the diff. A model on Vultr Serverless Inference reads each PR and picks math rules (invariants) the code must obey, and the rules differ per PR. Those rules run in gVisor sandboxes on a separate Vultr VM, on the code before and after the PR. A deterministic judge blocks only if a rule held before and breaks on the PR, and signs an ed25519 receipt. On 12 real bug-causing PRs it raised zero false alarms on the 12 fixes, while an AI reviewer flagged 1 to 2 correct fixes. Everything is served through NetBird with a PIN and zero open ports.
Note: the demo URL is substituted with the GitHub repository link.
Tech stack
No comments yet
Be the first to comment on this project.
sentinel
Full-Stack Self-Healing DevOps & Security Copilot The Concept: An AI operations engineer that doesn't just suggest code fixes—it monitors cloud infra, detects uptime/security drops, automatically provisions fixes, and generates audit reports for enterprise compliance.
Agency Compiler
Agentic creative project compiler. Most creatives, agencies and designers dont know how to use ai, none the less agents. We created a platform that allows a creative agency or studio owner to instantly spin up agents based on the project ask, resources and scale.
ProofRun
ProofRun helps developers answer a critical question before shipping: will this update break behavior users rely on? An AI agent inspects two Git revisions, designs targeted experiments, and proposes repairs. An independent Docker-based verifier runs those experiments against both versions, preserves the original tests, and checks whether the repair actually works. Developers receive an update, skip, or postpone recommendation with recorded evidence and a reviewable patch. In a live synthetic…