Valixara
Founder & CEO · Principal Engineer
A local-first desktop cockpit that gives an autonomous coding agent verifiable accountability — a tamper-evident index of everything the agent actually did on the machine.
- Designed an append-only, hash-chained action ledger anchored to observed effects (post-write file hashes, per-run git-HEAD delta) rather than parsed command strings — because a fully-bypassed agent can make the command lie
- A 5-band honesty model with an explicit 'opaque' verdict: an effect it can't derive is flagged, never silently marked safe
- Ships two signed macOS apps from one codebase via build-time tree-shaking; a single git tag triggers CI that builds both
- Root-caused a memory blowup to an 8-second re-parse of a 53 MB transcript, fixed with byte-offset bookmarks (RSS held flat); collapsed the git scanner from 5 calls/repo to 2 and parallelized it — ~40 repos went 3s → 150–300ms
A Project-Intelligence OS: RAG + knowledge graph over enterprise context, answerable in natural language with an immutable audit trail of what the AI did.
- Chose Postgres + pgvector over Neo4j / Pinecone to keep relational and vector data in one store with native joins and $0 infra overhead — logged with the recall threshold that would falsify the choice
- Picked HNSW over IVFFlat for incremental inserts without a training step; made the chunk (not the document) the retrieval unit
- Origin of the hash-chain primitive later re-implemented in Rust in the Cockpit