Declarative, strongly-typed, Effect-native agent harness. Agents as JSON-serializable TypeBox specs, not imperative code. Streaming events, plugin hooks, sandbox execution, circuit breakers, skill loading.
Built because every existing framework either pushed you to write agents as plain TypeScript classes (no serialization, no runtime introspection) or wrapped everything in a black-box DSL. Drover sits in the middle — specs are data, execution is Effect.