Sign in
Join now
eukhe
gildrb.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Coding agent with a memory of all things
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
eukhe
/
proof
/
tool_surface
5 files
at
bend/stackfix
gildrb.com
·
tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)
·
2w ago
24734723
base.bend
tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)
2w ago
tool_surface_ffi_answers.bend
tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)
2w ago
tool_surface_ffi_exact.bend
tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)
2w ago
tool_surface_ffi_example.bend
tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)
2w ago
tool_surface_ffi_left_over.bend
tools: the schema the harness sends and what dyn reaches decided by the compiled core (new tool_surface entry id 51)
2w ago