Aura: Agents + Git + Intent Open Source
OSS IDE for controlling AI coding agents with built in loops
Aura: Agents + Git + Intent Open Source launched on July 9, 2026 with 174 votes, #187 of 24,623 launches that month and more than 99% of that year's launches.
What it does
Aura is not another chat box for coding. It is a Git-native IDE for working with AI coding agents. You can run agents, track their changes at the function and class level, compare the code against the original intent, and prove whether a task was actually completed before you commit. Git shows you lines changed. Aura shows you what changed in the logic.
Aura proves your coding agents built what you asked and explains every change in plain words. Trust code you didn
Live Everything below is the real app, not a screenshot For non-engineers building real software Trust the code you didn’t write, even if you can’t read a line of it. Aura proves your agents built exactly what you asked, explains every part in plain words, and lets you fix what breaks yourself, no engineer required. Aura locked exactly what the AI changed and why. Nothing in this record has been altered since. Make network retries back off exponentially instead of pausing a flat 500 ms every time: cap the wait at 30 s so a rate-limited service gets progressively more room to recover. Tests, review and Git all answer questions about the code in front of them. None of them knows which…from auravcs.com
Does a similar job
all alternatives →
Sphinx – a hook that quizzes you on your AI's code before shipping3d ago · sphinx-six-theta.vercel.app · ▲252A Git hook for agent-assisted development. Before your agent’s code ships, Sphinx asks you a question about what it actually does.
Git for AI AgentsMay 2026 · github.com · ▲129hi guys. been working on something i think is fundamentally missing in today's workflow with ai agents. vcs. i find myself struggling with questions that agents can't answer like "why did you do it?", "when did u delete this folder? why?", etc. or trying to /rewind (after a /compact...) or basically `bisect` to find when and why something was done by the agent in the current / previous session. just like git did for code, i think we are the same core capabilities with ai agents so... i developed an open source solution for that (currently supporting claude code) would love to…
Aura IDEJun 2026 · github.com · ▲8Hi HN, I built Aura-IDE, a native desktop LLM coding harness for AI assisted software engineering. The idea is not just “chat with your codebase.” Aura wraps models in a structured engineering loop: repo awareness → Planner spec → Worker execution → surgical edits → validation → recovery → final receipt The Planner reads the project and writes a spec. The Worker executes that spec with filesystem tools, diff approval, terminal validation, and recovery behavior. The goal is to make ordinary models produce better code by giving them better process, context, and tools. The unusual part: Aura…
Aura – Like robots.txt, but for AI actions2025 · github.com · ▲41Hi, I've been watching the rise of AI agents with a mix of excitement and dread. We're building incredible tools that can browse the web, but we're forcing them to navigate a world built for human eyes. They scrape screens and parse fragile DOMs. We're trying to tame them to act like humans. I believe this is fundamentally wrong. The goal isn't to make AI operate at a human level, but to unlock its super-human potential. The current path is dangerous. When agents from OpenAI, Google, and others start browsing at scale and speed, concepts like UI/UX will lose meaning for them. The entire…
LogDNA – Easy logging in the cloud2016 · logdna.com · ▲196Mezmo runs agentic SRE on your own infrastructure: AURA is an open-source agent harness, and Mezmo's telemetry pipelines feed it in-stream operational context.
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲337Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 19d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 27d ago · corespeed.io
Source: Product Hunt launch ↗
Launched alongside, July 2026
the whole month →- IR
I might be the only SRE on Earth with his own bowling center. It's a more in-depth gig than you'd think. My family and I bought an abandoned 8-lane bowling center in the rural mid-west. In our small town there weren't many recreation options for families. You've heard of a food desert? This is an R&R desert. It had been abandoned for a good reason. The roof leaks, the electrical system was constantly surging, and my 70-year-old bowling equipment (still) doesn't work perfectly. The system that keeps your score is particularly interesting to me. It's the thing you watch during your game, but…
Life & fun · Jul 2026
18 Words▲1,160Play 18 Words, the free daily word puzzle. The official home is 18words.com. Tap Play now to open today
Life & fun · Jul 2026 · 18words.com
- BA
Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness. To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There's no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn't need to fetch anything once you got it. Open it in a browser and then you can…
Dev tools · Jul 2026 · bento.page
A few days ago I found myself trying out GLM 5.2 and was really positively impressed. The capabilities and security I was getting from this LLM are similar to those I've gotten from models like Claude or GPT, and this really surprised me. But then I thought, "I wonder how it would work on a normal computer like mine," and above all, "I wonder if it would work without going into OOM on a computer like mine." So I started working with the help of agents to test this possibility. I started converting the model to int4, understanding MTP usage, and if possible implementing DSA for long context.…
AI · Jul 2026 · github.com
OpenSEO▲928Hello! For the last 2 months, I've been building OpenSEO. It's a user friendly UI wrapping the DataForSEO API which has high quality SEO data for keywords, backlinks, AI SEO and competitor research. Instead of paying $100+ per month, you buy DataForSEO credits and pay only for usage. The coolest thing about the project so far has been hearing about what people are building on top of it. People are using coding agents to quickly integrate with Google Search Console, Google Ads and building their own AI SEO and reporting features. Many were already building their own custom solutions around…
Dev tools · Jul 2026 · openseo.so