frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Halo – open-source, tamper-evident runtime evidence for AI agents

https://github.com/bkuan001/halo-record
9•brian_kuan•6h ago
Hi HN, I'm Brian, I spent the last few years at Vanta (YC W18), helping startups and enterprises become compliant and I recently started exploring what that might look like in a post-agentic world.

The problem Halo solves is: when a company buys an AI agent from a vendor and gives it access to their data, they have no way to check what the agent did with that data. Vendors may have built observability dashboards and audit logs, but those are editable and partisan. SOC 2 and ISO 27001 audit a company's controls, but controls are less predictive when the software is agentic. TLDR: give an agent the same prompt 50 times, and you get 50 slightly different actions/answers - so the only thing worth auditing in a post-agentic world is what happened at runtime.

Halo is an open-source project that produces agent runtime evidence. It's a small recorder that records every action an agent takes (eg. tool calls, model calls, data access, etc), and becomes a record in an append-only log. It's hash-chained, so anyone can re-verify.

Run the following command to see a fictional example:

     uvx --from halo-record halo demo --serve
Then, delete a line from one of the .jsonl files and reload, and the report will catch that it's been tampered with.

To wire up your own agent, run this line of Python:

     agent = trace(run_my_agent, profile="my-agent", log="audit.jsonl")
Then use this to generate a real report and give it to your customers:

     halo report audit.jsonl -o report.html
Disclaimer: this proves integrity, not completeness (as a self-held chain proves nothing was edited but does NOT prove that nothing was omitted). Catching this requires a witness outside the vendor and is what I'm working on next.

Halo is Apache-2.0, contains zero runtime dependencies, and is about 4,300 lines of Python with 125 tests (if you prefer TypeScript, here's that repo: https://github.com/bkuan001/halo-record-ts).

Give it a try, and please let me know if you have any feedback!

Comments

brian_kuan•1h ago
PS: please try to break it - if you find that the report does not catch a deleted line, changed number, or modified record, I'd love to know!

And to start a discussion: if you sell or buy AI agent products, what do security reviews ask about them?

all2•29m ago
I'm currently working on an agent framework that has auditability as one of its core promises. I'm glad to see others are working in this domain!

I've seen other products/apps in this space farther up the stack at the API boundary.

What frameworks does your package work with? How does it handle intercept?

brian_kuan•10m ago
There's no interception - it runs in-process, so it works with any Python code (with or without a framework). There's a TS version too if your stack is in JS.

Would love to hear more about your agent framework!

nf-x•26m ago
Looks very slop, but it’s a good idea. The main difficulty is that no big name is hosting a witness.
ambicapter•18m ago
> may have built observability dashboards and audit logs, but those are editable and partisan

Why would these be editable?

Re: I'm Begging You to Leave Your AI Note-Taker at Home

https://firesphere.dev/articles/yes-actually-i-do-fucking-mind
36•skeledrew•34m ago•36 comments

StreetComplete: Fixing OpenStreetMap, one tiny quest at a time

https://streetcomplete.app/
577•kls0e•8h ago•134 comments

Local, CPU-Friendly, High-Quality TTS (Text-to-Speech) with Kokoro

https://ariya.io/2026/03/local-cpu-friendly-high-quality-tts-text-to-speech-with-kokoro/
75•speckx•2h ago•18 comments

AI Meets Cryptography 1: What AI Found in Cloudflare's Circl

https://blog.zksecurity.xyz/posts/circl-bugs/
40•duha•2h ago•5 comments

Chat Control 1.0 and 2.0 Explained

https://fightchatcontrol.eu/chat-control-overview
254•gasull•6h ago•81 comments

l: A new runtime for k and q

https://lv1.sh/
55•skruger•2h ago•32 comments

Herdr: One terminal to rule them all

https://herdr.dev/
30•handfuloflight•5d ago•12 comments

Show HN: Davit, a Apple Containers UI

https://davit.app
49•xinit•2h ago•7 comments

A better way to tie gym shorts (or any drawstring) [video]

https://www.youtube.com/watch?v=3R0Lp86GEBk
391•surprisetalk•7h ago•142 comments

30papers.com – Ilya's 30 essential ML papers, in a beginner friendly format

https://30papers.com/
226•notmcrowley•4h ago•37 comments

Jim's TrueType QR Code Font

https://github.com/jimparis/qr-font
87•arantius•4h ago•9 comments

Notes on Software Quality

https://anthonyhobday.com/blog/20260410
33•speckx•2h ago•16 comments

Show HN: Rowboat – Open-source, local-first alternative to Claude Desktop

https://github.com/rowboatlabs/rowboat
25•segmenta•4h ago•7 comments

Fixing analog audio on the $2.58 HDMI-to-VGA adapter

https://nyanpasu64.gitlab.io/blog/hdmi-vga-dac-audio/
43•zdw•2d ago•15 comments

Why we built yet another Postgres connection pooler

https://pgdog.dev/blog/why-yet-another-connection-pooler
81•levkk•5h ago•15 comments

Show HN: Docx-CLI: agents read/edit Word docs using 1/2 the time and tokens

https://github.com/kklimuk/docx-cli
24•kirillklimuk•2h ago•9 comments

Automating AI Away

https://replicated.live/blog/away
69•gritzko•5h ago•36 comments

MacSurf 1.68 – NetSurf on OS 9 Released

https://github.com/mplsllc/macsurf/releases/tag/v1.86
54•mplsllc•4h ago•8 comments

Astro 7.0

https://astro.build/blog/astro-7/
119•saikatsg•2h ago•31 comments

Chat Control passed first round in EU Parliament

https://www.heise.de/en/news/Showdown-in-Strasbourg-The-unexpected-return-of-Chat-Control-1-0-113...
448•miroljub•5h ago•197 comments

China sentences official to death for taking $325M in bribes

https://www.bbc.com/news/articles/c33y0n1v1xjo
195•randycupertino•4h ago•215 comments

Computational Balloon Twisting: The Theory of Balloon Polyhedra [pdf]

https://cccg.ca/proceedings/2008/paper34full.pdf
21•luu•5d ago•0 comments

9 Mothers (YC P26) Is Hiring in Austin, TX

https://9mothers.com/careers
1•ukd1•8h ago

The revenge of the philosophy majors

https://www.nytimes.com/2026/07/05/business/philosophy-majors-ai-jobs.html
104•benbreen•6h ago•165 comments

Why skilled workers come to Germany and then leave again

https://www.dw.com/en/germany-migrants-skilled-workers-integration-labor-market-bureaucracy-langu...
108•theanonymousone•10h ago•230 comments

98% isn't much

https://whynothugo.nl/journal/2026/07/03/98-isnt-very-much/
421•speckx•7h ago•271 comments

Microsoft fire idTech team at Id software

https://gamefromscratch.com/microsoft-fire-idtech-team-at-id-software/
403•bauc•5h ago•408 comments

Show HN: Halo – open-source, tamper-evident runtime evidence for AI agents

https://github.com/bkuan001/halo-record
9•brian_kuan•6h ago•6 comments

GitHub Freno: cooperative, highly available throttler service

https://github.com/github/freno
30•nateb2022•1d ago•0 comments

Reducing Doom Loops with Final Token Preference Optimization

https://www.liquid.ai/blog/antidoom
23•dataminer•4h ago•4 comments