I tend to work at the layer most people would rather not
think about.
bose-search — a meta-search MCP server for AI agents.
247 engines via SearXNG, local Tantivy index, RRF fusion,
PID backpressure, and a scavenger algorithm built on
information-theoretic surprise scoring. Single Rust binary.
Integrates today with Claude Code, Cursor, and Windsurf.
Forge — a deterministic execution fabric on Firecracker
microVMs and Nix derivations, with SHA-256 output
verification and a trust scoring system. The roadmap
includes Kani proof harnesses and FoundationDB-style
simulation testing. The ambition is formal verification
end-to-end.
I work with Claude Code. Given API access and a reasonable
environment, delivery tends to accelerate rather than stall.
Available for contract. I require Anthropic API access
provided by the client — I do not front infrastructure costs.
I tend to work at the layer most people would rather not think about.
bose-search — a meta-search MCP server for AI agents. 247 engines via SearXNG, local Tantivy index, RRF fusion, PID backpressure, and a scavenger algorithm built on information-theoretic surprise scoring. Single Rust binary. Integrates today with Claude Code, Cursor, and Windsurf.
Forge — a deterministic execution fabric on Firecracker microVMs and Nix derivations, with SHA-256 output verification and a trust scoring system. The roadmap includes Kani proof harnesses and FoundationDB-style simulation testing. The ambition is formal verification end-to-end.
I work with Claude Code. Given API access and a reasonable environment, delivery tends to accelerate rather than stall.
Available for contract. I require Anthropic API access provided by the client — I do not front infrastructure costs.
GitHub: github.com/eouzoe Email: eouzoe@proton.me