devdrop / dashboard

Workspace operations

devdrop.johari-dev.com
machinesliveregistered daemon identities
data planegitsource bytes stay in remotes
local truthsqlitewatcher queue and idempotency ledger
commandslivequeued, running, and completed

Sign In Required

Sign in to view machines, workspaces, commands, conflicts, secrets, and agent sessions for your account.

Provider Readiness

Clerkpublishable key loaded
configured
Convexclient url loaded
configured
Convex Storage1GB file storage free tier
configured
Convex Authwaiting for Clerk session
signed out

Command Surface

devdrop initcreate a workspace and start its daemon service
devdrop pullmaterialize the workspace on another machine
devdrop policy pullapply the latest published policy version
devdrop policy publishqueue or publish local policy edits
devdrop daemon statusinspect daemon, SQLite, and queue state

Contract Primitives

Machineidentity, roles, heartbeat, revocation
Workspacecanonical root, membership, policy version
Commandleased operation with idempotency key
WipSnapshotcontent-addressed dirty state bundle
Policypath decisions for sync, rebuild, secret, lazy blob
No raw recursive sync.The daemon publishes debounced state to Convex, while Git and Convex File Storage move content only through explicit policy decisions.
open workspace