Halley is an independent AI lab. We build agents and the tools around them, and we open-source most of what we make.
In 1705 Edmond Halley used first principles to predict that a comet would return in 1758. He didn't live to see it, but it came back on schedule. We try to build the same way: reason it through, ship it, and let it prove itself.
| tring | Voice agents defined once in YAML, run as cascade, speech-to-speech, or hybrid | Python |
| faultline | Live architecture map for any codebase and any coding agent | TypeScript |
| witness | Recording cache for model APIs: cheaper repeat calls, resumable runs, verifiable records | Rust |
| quicky-wiki | Documents into a living, confidence-scored knowledge base | TypeScript |
| agentreplay | Trace protocol and replay harness that turns failed agent runs into tests | JavaScript |
| voila | Demos that record themselves: URL in, narrated MP4 out, all on-device | JavaScript |
| pact | Cryptographic identity and delegation protocol for agents | Go |
| unclaude | Open-source, model-independent coding agent | Python |
| guardian | Judgment sidecar that reviews every agent action before it runs | JavaScript |
| fasthands | Model-agnostic computer use with far fewer tokens and turns | TypeScript |
| context-broker | Claude Code plugin that answers big-file reads with an exact structural outline | Claude Code |
| samemark | remark-parse compatible Markdown parser, about 10x faster | JavaScript |
| sheetstream | XLSX of any size from Node.js in constant memory, Rust core | Rust |
| purify-edge | DOMPurify without jsdom, runs on Cloudflare Workers | JavaScript |
More at halleylabs.dev.
