Avatar for tysun from gravatar.com

tysun

Username    tysun
Date joined   Joined

1 project

pgworker

Last released

Thin local CLI relay for the prove-graph backend — spawns codex / claude / deepseek subprocesses on user machines and streams stdout/stderr back over WebSocket.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page