Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
tinyclaw
command
|
|
|
pkg
|
|
|
aperture
Package aperture provides Tailscale Aperture integration for TinyClaw.
|
Package aperture provides Tailscale Aperture integration for TinyClaw. |
|
api
Package api provides HTTP handlers for the TinyClaw API.
|
Package api provides HTTP handlers for the TinyClaw API. |
|
campaign
Package campaign implements campaign-driven agent orchestration.
|
Package campaign implements campaign-driven agent orchestration. |
|
campaign/adapters
Package adapters provides backend adapter interfaces for campaign dispatch.
|
Package adapters provides backend adapter interfaces for campaign dispatch. |
|
constants
Package constants provides shared constants across the codebase.
|
Package constants provides shared constants across the codebase. |
|
core
Package core provides the CoreProxy that spawns the F*-extracted verified core binary and communicates with it via JSON-RPC over STDIO.
|
Package core provides the CoreProxy that spawns the F*-extracted verified core binary and communicates with it via JSON-RPC over STDIO. |
|
tailscale
Package tailscale provides Tailscale integration for the TinyClaw gateway.
|
Package tailscale provides Tailscale integration for the TinyClaw gateway. |
Click to show internal directories.
Click to hide internal directories.