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, 0.1.0.1, 0.2.0.0, 0.3.0.0
Change log CHANGELOG.md
Dependencies aeson, baikai (>=0.3 && <0.4), base (>=4.20 && <5), bytestring, containers, directory, effectful, filepath, generic-lens, http-client, http-client-tls, http-types, lens (>=5.3 && <5.4), process, regex-tdfa, shikumi (>=0.3.0.0 && <0.4), text (>=2.1 && <2.2), vector [details]
License BSD-3-Clause
Author Nadeem Bitar
Maintainer nadeem@gmail.com
Uploaded by shinzui at 2026-07-05T03:53:13Z
Category AI
Distributions
Downloads 19 total (16 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]