01 / Specs
Make intent queryable.
Write structured specs, check completeness, and keep human-owned rules separate from generated code observations.
Explore spec-driven design
Dotdog 1.0 Available now · Read the release notes
Good specs.
Good specs.
Less guesswork.
Local-first specs, code graphs, and type contracts for coding agents. Keep what you intend separate from what the code shows — and give your agent the context to work with both.
Feed the dog. Ship with specs.
Spec is on the case.
Start in your repository.
Refresh the local graph, then ask focused questions about context, impact, and paths.
npx [email protected] refresh --jsonNode.js 22.12+ or Bun 1.3+. Optional type inspection also requires Node and a trusted project-installed TypeScript 7.0.2 compiler.
Three perspectives. One workflow.
Intent, implementation, and evidence stay connected — not confused.
02 / Graphs
Follow the evidence.
Query context, impact, and paths. Import saved REA/Ghidra call graphs with artifact identity, coverage, and limits intact.
Explore graph workflows03 / Types
Shape valid states.
Pair type-driven design with optional selected-contract inspection, compiler diagnostics, and bounded type-reference graphs.
Explore type contractsNew to 1.0? Start here.
What's changed, how to upgrade, and what the tools actually check.
More from the pack