Ifires

Why I built a research agent that runs on Claude Code around the clock, what it actually does, and how it ended up writing the article you're reading a sibling of.

How Signal Temporal Logic turns fuzzy natural-language instructions into checkable spatial-temporal constraints, with robustness semantics and a worked example for a language-conditioned pick-and-place task.