Location: Taiwan (UTC+8) Remote: Yes Willing to relocate: No Technologies: Rust · Nix · Firecracker · WASM · WebGPU · MCP · TLA+ · Kani · Aeneas · Tantivy · eBPF · io_uring

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