0xbfb67181 fails

0xbfb6718181103ac566eb0ff5308d47ac

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

Anonymous package: import it by hash.

Earlier versions (1)

0x068889b4 2026-09-24

Published: 2026-09-30
Size: 47,278 bytes, 5 files
License: MIT (LICENSE)
Declarations: 0 laws (0 proved), 105 defs, 19 types

Import

import 0xbfb6718181103ac566eb0ff5308d47ac/docs.bend as Docs
import 0xbfb6718181103ac566eb0ff5308d47ac/json.bend as Json
import 0xbfb6718181103ac566eb0ff5308d47ac/openai.bend as Openai
import 0xbfb6718181103ac566eb0ff5308d47ac/transport.bend as Transport

Modules

docs.bend 2 declarations — An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling.
json.bend 98 declarations
openai.bend 63 declarations — An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling.
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
docs.bend	checks	ALL PROOFS CHECK	0.8 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.5 s
openai.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.1 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.2 s