Software, written by the things that read it.
Ataraxy Labs builds the substrate for agent-native software development. Semantic version control, entity-level merges, and structured interfaces for the systems that will write most of the world’s code.
Every tool in software development was designed for human hands.
We’re done building for human hands. IDEs, type checkers, build systems, CI pipelines. They all exist for the same reason: humans are slow, forgetful, and can only hold a few things in their head at once.
We’re not trying to make those tools 10% better. We’re building infrastructure where the primary user is an agent, not a person.
In practice that means tools that make agents faster, cheaper, and more reliable at writing software. Code understanding at the entity level. Merges that don’t break. Diffs that make sense to machines. Every tool we ship removes a bottleneck between an agent and working code.
Agents do everything else.
We don’t optimize developer experience. We eliminate the need for it. Agents don’t need dashboards or config files or deploy buttons. They need structured APIs, deterministic graphs, and verifiable outputs.
If a human can also use what we build, great. But that’s not why it exists.
We build for agents. Everything else is a side effect.
A stack with no human in the inner loop.
Open-source primitives that replace categories of tooling built for human readers. Git-compatible, agent-native. Ship today.
- Install
- npm i -g @ataraxy-labs/sem
- Parsers
- native tree-sitter
- Storage
- better-sqlite3 (WAL)
- Output
- tty · json · sql
- Install
- brew install ataraxy-labs/tap/weave
- False-conflict rate
- ↓ ~95% vs. git
- Languages
- 10+ via tree-sitter
- Agent API
- MCP · 9 tools
- Install
- cargo install ataraxy-inspect
- Languages
- 19 via tree-sitter
- Benchmark
- 95% recall (Greptile)
- Output
- cli · json · api
- Install
- prefix + I (via tpm)
- Agents
- amp · claude · codex · opencode
- Runtime
- Bun · 127.0.0.1:7391
- Keybindings
- prefix o → s/t
We are building the tools the next hundred million engineers will never need to learn.— Ataraxy Labs, founding memo
Blogs on the future of software.
Stop Grepping, Ask the Compiler
When you change a function, the compiler already knows everything about it. What calls it, what types flow through, what breaks if you touch its signature. But agents don't use it. They grep.
Code is Not Text
Git is one of the greatest pieces of software ever written. It tracks text files brilliantly. But code has structure that text doesn't, and there's a lot you can do once your tools understand that.
The Entity
Every tool needs a unit of analysis. For text editors it's characters. For git it's lines. For compilers it's tokens. We think the right unit for code intelligence is the entity: a function, a class, a method. Here's why.
What if Merges Understood Your Code?
Git's three-way merge is one of the most elegant algorithms in everyday use. It works on lines of text, which means it's occasionally too conservative about what counts as a conflict. There's a way to help.