English · Русский
Build with agents. Keep the proof.
Open-source tools that make AI-assisted engineering observable,
adversarial, and operable.
Repository → Atlas → Execution → Evolution note
Turns a repository into an executable Atlas of bounded loops. Observed facts, operator decisions, run evidence, and process evolution remain distinct and traceable.
Claim → Attack → Proof → Verdict
Your coding agent says a change works. Gopnik tries to prove it does not — against the code, the delivered revision, and the checks themselves — before returning a scoped verdict.
Provider quota → Prometheus → Alert → Action
A Kubernetes-focused fork of onWatch for monitoring AI provider quotas through Prometheus, with a Helm chart, alerting rules, and a Grafana dashboard.
Audio → Local transcription → Local summary
A privacy-first AI meeting assistant that captures microphone and system audio, transcribes live, and writes the summary entirely on your machine.
AI agents can move fast. Authority, proof, and operational limits should stay visible. Each project stands on its own; all four are built around that premise.