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
11•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•38m 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•19m 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•35m ago
Looks very slop, but it’s a good idea. The main difficulty is that no big name is hosting a witness.
brian_kuan•10m ago
Fair point - I am a marketer by training and built this with some help from Claude! But appreciate the love.

If you find something/have feedback, please let me know and I'll gladly fix it.

Separately - 100% agree on the witness - only someone/thing outside the vendor can prove nothing was omitted. Who do you think fills that gap - is it an audit firm (my world), a standards body, or something else?

ambicapter•27m ago
> may have built observability dashboards and audit logs, but those are editable and partisan

Why would these be editable?

brian_kuan•6m ago
Because they live in infrastructure the vendor itself controls - there's some conflict of interest there. Things like retention, rotation, deletion, what gets included/excluded, etc are all decisions the vendor makes. Same reason why compliance requires audits!

The hash chain doesn't make the log unwritable, it makes any edit detectable.

Show HN: Davit, a Apple Containers UI

https://davit.app
50•xinit•2h ago•8 comments

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

https://github.com/rowboatlabs/rowboat
30•segmenta•4h ago•7 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

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

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

Show HN: PostgreSQL performance and cost across 23 EC2 instance types

https://postgres.saneengineer.com
77•anivan_•8h ago•13 comments

Show HN: Tessera – an AI agent that refuses to answer without evidence

https://github.com/robert-vetter/tessera
2•robert-vetter•1h ago•1 comments

Show HN: Fast, native Mac file manager (filters, fuzzy find, 9 MB, no Electron)

https://whimfiles.com
74•whimbyte•12h ago•51 comments

Show HN: Fenzo AI – Interactive Micro-courses on any topic

https://fenzo.ai/
3•fahimulhaq•2h ago•0 comments

Show HN: Baerly-storage, a document DB that runs per request, no DB server

https://github.com/Gusto/baerly-storage
13•baerbaerbaer•4h ago•0 comments

Show HN: Scan any website for AI design patterns

https://slopcop.adriankrebs.ch
2•hubraumhugo•2h ago•1 comments

Show HN: Fork – Let users build features on top of existing applications

https://withfork.co/
3•realdjpaulyd•2h ago•0 comments

Show HN: HTMLDrive – serve HTML files from your Google Drive

https://html-drive.com
4•debamitro•3h ago•0 comments

Show HN: Context Warp Drive – Deterministic context folding for AI agents

https://github.com/dogtorjonah/context-warp-drive
7•Dr_Jonah•5h ago•1 comments

Show HN: Traceval

2•ramkm•3h ago•0 comments

Show HN: I wrote a 1-bit WebGPU runtime to run a 1.7B LLM in the browser

https://aidekin.com/
4•stfurkan•3h ago•2 comments

Show HN: Humanize – Best static AI text humanizer, based on 50 research papers

https://github.com/harshaneel/humanize
2•gokhalh•3h ago•0 comments

Show HN: FlowHook – a file watcher that knows if your build passed or failed

https://github.com/etcoder-642/FlowHook
2•mnsrealx•3h ago•0 comments

Show HN: Type any business name, get a real website in 60 seconds

https://fivedaylaunch.com/instant
3•nareshclaude•4h ago•0 comments

Show HN: Tracking GenAI cost and endpoint fragility so app teams don't have to

https://llmintel.ai/demo
2•ATsimbalistov•4h ago•0 comments

Show HN: mip – the missing package manager for MATLAB + MEX

https://mip.sh
4•jmagland•4h ago•0 comments

Show HN: Book Bounce – Bedtime story helper for parents

https://bedtimebookhelper.com
2•philajan•4h ago•0 comments

Show HN: A notepad that turns meeting-full days into shareable memory

https://pitara.ai/login?next=%252F
2•chayanvinayak•4h ago•0 comments

Show HN: Prizmi – a proactive AI assistant for everyday life

https://prizmi.ai/
2•hramezani•4h ago•0 comments

Show HN: ttyd – Share your terminal over the web

https://github.com/tsl0922/ttyd
3•js2•4h ago•1 comments

Show HN: Larasend – Self-hosted transactional email for Laravel on your own SES

https://larasend.com
3•vijaytupakula•4h ago•2 comments

Show HN: I built a free website that makes LLM prompting easier in 40 languages

https://www.enlive.inc
3•connerBown•4h ago•1 comments

Show HN: Signal for LLM – The Modulator Architecture (Theory Complete)

https://divinecanon.github.io/signalengine-EN/
2•divinecanon•4h ago•0 comments

Show HN: Loodfun: drop any pdf or url, and play it in a 3D world

https://www.loodfun.com/pour-les-pros/
3•Mounir_Hafsa•4h ago•0 comments

Show HN: FastCRW: 6MB binary self-hosted Firecrawl alternative

https://github.com/us/crw
3•fastcrw•4h ago•1 comments

Show HN: Code Workspace, Everywhere

https://useboot.co/
3•dantelex•4h ago•0 comments