bend-anthropic-sdk@0.1.0.1 fails

0xd2e0b2819dcc854bda21f542b308ada3

An unofficial Anthropic SDK for Bend, with typed requests, streaming, and tool calling.

Earlier versions (1)

bend-anthropic-sdk@0.1.0.0 2026-09-24

Published: 2026-09-30
Size: 46,098 bytes, 5 files
License: MIT (LICENSE)
Declarations: 0 laws (0 proved), 104 defs, 19 types

Import

import bend-anthropic-sdk@0.1.0.1/anthropic.bend as Anthropic
import 0xd2e0b2819dcc854bda21f542b308ada3/anthropic.bend as Anthropic
import bend-anthropic-sdk@0.1.0.1/docs.bend as Docs
import 0xd2e0b2819dcc854bda21f542b308ada3/docs.bend as Docs
import bend-anthropic-sdk@0.1.0.1/json.bend as Json
import 0xd2e0b2819dcc854bda21f542b308ada3/json.bend as Json
import bend-anthropic-sdk@0.1.0.1/transport.bend as Transport
import 0xd2e0b2819dcc854bda21f542b308ada3/transport.bend as Transport

Modules

anthropic.bend 62 declarations — An unofficial Anthropic SDK for Bend, with typed requests, streaming, and tool calling.
docs.bend 2 declarations — An unofficial Anthropic SDK for Bend, with typed requests, streaming, and tool calling.
json.bend 98 declarations
transport.bend 20 declarations

Other files

LICENSE 1,101 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
anthropic.bend	fails	- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R> output Error: - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R> - observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R> Context: - socket : Socket - buffered : String - next : @_:Connection -> @-R:Type -> @k:(@_:Read -> IO.OP<R>) -> IO.OP<R> Location: read_cut 49 \| do IO<Read>: 50>\| received : Socket & Result<&1, &1, U32 & String, String> <- TCP.recv(socket, 4096) \| ^^^^^^^^^^^^^^^^^^^^^^ 51 \| chunk(received, buffered, next)	1.4 s
docs.bend	checks	ALL PROOFS CHECK	0.6 s
json.bend	relies on unsafe/foreign	1 def relies on unsafe or foreign code defs: `stringify` output SOME PROOFS FAIL Error: 1 def relies on unsafe or foreign code: - stringify	1.4 s
transport.bend	fails	- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R> output Error: - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R> - observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R> Context: - socket : Socket - buffered : String - next : @_:Connection -> @-R:Type -> @k:(@_:Read -> IO.OP<R>) -> IO.OP<R> Location: read_cut 49 \| do IO<Read>: 50>\| received : Socket & Result<&1, &1, U32 & String, String> <- TCP.recv(socket, 4096) \| ^^^^^^^^^^^^^^^^^^^^^^ 51 \| chunk(received, buffered, next)	1.4 s