Adds Heimdall — verification gates for AI coding agents; a Claude Code plugin that wires every plan to a falsifiable external oracle so a merge stays blocked until the fix is proven, not just generated. Placed in the AI Coding Tools section alongside Claude Code, Cursor, and Cline. MIT-licensed. Nothing ships unproven.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
## 📋 Pull Request Information
**Original PR:** https://github.com/devtoolsd/awesome-devtools/pull/334
**Author:** [@randomittin](https://github.com/randomittin)
**Created:** 7/30/2026
**Status:** 🔄 Open
**Base:** `main` ← **Head:** `add-heimdall`
---
### 📝 Commits (1)
- [`2d9a77b`](https://github.com/devtoolsd/awesome-devtools/commit/2d9a77b1d2b1ae97512535e63758ded132ec2e5f) Add Heimdall to AI Coding Tools
### 📊 Changes
**1 file changed** (+1 additions, -0 deletions)
<details>
<summary>View changed files</summary>
📝 `readme.md` (+1 -0)
</details>
### 📄 Description
Adds Heimdall — verification gates for AI coding agents; a Claude Code plugin that wires every plan to a falsifiable external oracle so a merge stays blocked until the fix is proven, not just generated. Placed in the AI Coding Tools section alongside Claude Code, Cursor, and Cline. MIT-licensed. Nothing ships unproven.
---
<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 Pull Request Information
Original PR: https://github.com/devtoolsd/awesome-devtools/pull/334
Author: @randomittin
Created: 7/30/2026
Status: 🔄 Open
Base:
main← Head:add-heimdall📝 Commits (1)
2d9a77bAdd Heimdall to AI Coding Tools📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
readme.md(+1 -0)📄 Description
Adds Heimdall — verification gates for AI coding agents; a Claude Code plugin that wires every plan to a falsifiable external oracle so a merge stays blocked until the fix is proven, not just generated. Placed in the AI Coding Tools section alongside Claude Code, Cursor, and Cline. MIT-licensed. Nothing ships unproven.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.