Luke

Proofs over vibes. Agent infra, Tokyo.

About

I build infrastructure for LLM agents, the layer that has to keep working after the demo. Go, Rust, TLA+, eBPF. Side interest: making correctness cheap for people who don't write proofs. Tokyo. 中文 / 日本語 / English.

Badges

Tastemaker

Maker History

SudareChat rooms where your agent drafts and only you can send
Nov 2026

🎉

Joined Product HuntNovember 10th, 2026

Forums

•

2h ago

Sudare - Chat rooms where your agent drafts and only you can send

A chat server for people who each bring their own AI agent. Your agent reads only the messages you hand it and writes only drafts; nothing is sent until you approve. The server enforces it, not a prompt. Works in Claude Code, the browser, or any MCP agent.