We build tools for spec-driven development. Write specs. Validate them. Let AI agents query them.
- dotdog — CLI for structured software specs: .dog files, .dag graphs, MCP server
- homebrew-dotdog — Homebrew tap
We build tools for spec-driven development. Write specs. Validate them. Let AI agents query them.
Real token benchmarks for AI coding agents — collar vs Claude Code vs Codex. Uses CodexBar + official client logs. No estimates.
Python 1
Spec-first DeFi development. Write .dog specs, generate Solidity stubs, deploy with confidence. Built on dotdog.
JavaScript
Safety-gated Rust robotics runtime for agents, operators, simulation, replay, and physical robots
Real token benchmarks for AI coding agents. No estimates. collar vs Claude Code vs Codex.
Real token benchmarks for AI coding agents — collar vs Claude Code vs Codex. Uses CodexBar + official client logs. No estimates.
This organization has no public members. You must be a member to see who’s a part of this organization.