@hackage / shikumi-tools

Typed tools and multi-step ReAct agents for shikumi. A Tool i o is an ordinary function over record types whose JSON-Schema argument shape is Generic-derived (reusing the schema generator from the signatures plan) and which lowers to baikai's untyped wire Tool (MasterPlan integration point #8). A heterogeneous ToolRegistry erases the per-tool i/o behind an existential while retaining the decode/encode dictionaries, so a ReAct loop can dispatch by the name the model emits at run time. On top of typed tools, react/reactWithTrajectory build a Program i o whose embedded loop alternates propose -> dispatch -> observe until the model finishes or a bound is hit, then extracts the typed answer — recording a structured Trajectory throughout. The whole agent is a first-class, composable, inspectable shikumi program. Every test runs against a deterministic mock LM with no network.