About specdog
specdog is a toolkit for making software specs easier for both humans and AI agents to read. The goal is simple: keep intent, implementation rules, and agent instructions in structured files that can be validated and queried.
The project focuses on spec-driven development, agent discovery, and small runtime surfaces that reduce guesswork when an agent enters a codebase.
The type-driven design workflow connects spec rules to domain types, state transitions, and explicit failures in application code, with runtime parsing at external boundaries.
What we build
Dotdog 1.0 provides local-first spec/code graphs, saved REA/Ghidra call-graph traversal, and optional TypeScript contract inspection. Release notes.
An agent harness that loads graph-backed behavior instead of relying on loose prompt text.
A robotics-oriented harness for simulation-first agent control and capability gating.
About Justin DiClemente
Justin DiClemente builds open-source tools for software development and agent workflows. His specdog projects explore structured specifications, graph-based code context, type-driven design, and Rust-based robotics tooling.
He is the creator of specdog, including Dotdog, Collar, Leash and Dogbench. Find Justin on GitHub.
Why it exists
AI agents work better when they can find exact names, relationships, states, and constraints without scanning long prose. specdog tools make that structure explicit while still keeping the source material readable.
Where to start
Start with the guide for the workflow, for agents for runtime instructions, or the blog for background writing.