shikumi-tools: Typed tools and ReAct agents for shikumi LM programs (EP-11)

[ ai, bsd3, library ] [ Propose Tags ] [ Report a vulnerability ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Change log CHANGELOG.md
Dependencies aeson, baikai, base (>=4.20 && <5), bytestring, containers, effectful, generic-lens, lens (>=5.3 && <5.4), shikumi (>=0.1.0.0 && <0.2), text (>=2.1 && <2.2), vector [details]
License BSD-3-Clause
Author Nadeem Bitar
Maintainer nadeem@gmail.com
Uploaded by shinzui at 2026-06-13T15:20:15Z
Category AI
Distributions
Downloads 3 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]