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.

[![Claude Code](https://img.shields.io/badge/Claude%20Code-plugin-e056a0?style=flat-square)](https://code.claude.com)
[![License: MIT](https://img.shields.io/badge/License-MIT-9b59b6?style=flat-square)](LICENSE)
<!-- HEIMDALL:VERSION:BEGIN — generated by bin/heimdall-render-version; do not edit by hand -->
[![Version](https://img.shields.io/badge/version-2.3.8-00d4ff?style=flat-square)](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

View full repository on GitHub →