randomittin/heimdall
5 stars · Last commit 2026-07-31
Verification gates for AI coding agents — nothing ships unproven. Falsifiable oracle gates, team wall, receipts. Works with Claude Code today; Cursor, Codex, Gemini CLI & every git repo next.
README preview
# Heimdall 🛡️ **A cloud bot that fixes your GitHub issues and opens a proven PR. You review, you merge.** Every PR ships the runnable evidence that the fix passes. The bot opens it on a `heimdall/*` branch **as a scoped GitHub App** — never as you, never on `main`, and it never self-merges. A human always gates the merge. [](https://code.claude.com) [](LICENSE) <!-- HEIMDALL:VERSION:BEGIN — generated by bin/heimdall-render-version; do not edit by hand --> [](CHANGELOG.md) <!-- HEIMDALL:VERSION:END --> --- ## Get a bot PR on your repo Once you've installed the Heimdall Maintainer GitHub App on your repo and run `claude setup-token`, it's two commands: ```bash rr connect # registers your App install + captures your Claude cred