Kraken AI SDK: a very lightweight, fully-typed multi-model AI agent framework