Spec-to-Code Compliance — A New Category
Spec-to-Code Compliance — 新品类

Your PRD Finally Gets
a Seat at Code Review 你写的代码
做到 PRD 说的了吗？

CodeDog reads your spec, scans your code, and shows you what's missing. CodeRabbit reviews syntax. We review promises.

双 RAG 引擎：一边读你的需求文档，一边读你的代码——然后告诉你，哪里漏了。

🐕 Join the Waitlist 🐕 加入候补名单 See Demo ↓ 看 Demo ↓

What Code Review Tools Actually Check 代码审查工具到底审了什么

🔧 Linter / Static

  • ✓ Syntax errors
  • ✓ Code style
  • ✗ Security patterns
  • ✗ Business logic
  • ✗ Spec compliance

🐰 CodeRabbit

  • ✓ Syntax & style
  • ✓ Security scans
  • ⚠ Basic logic patterns
  • ✗ Business logic*
  • ✗ Spec compliance

*CodeRabbit's own admission

🐕 CodeDog

  • ✓ Codebase-aware RAG
  • ✓ Cross-module patterns
  • ✓ Spec Drift detection
  • ✓ Business logic gaps
  • ✓ PRD compliance report

How CodeDog Works CodeDog 怎么做

📖

Reads Your Entire Codebase

读过你的每行代码

Unlike tools that only look at the diff, CodeDog indexes your full repository — types, modules, call chains. It knows your code, not generic patterns.

不像其他工具只看 diff，CodeDog 索引整个仓库——类型、模块、调用链。它了解你的代码，不是通用模式。

🔍

Checks Against Your Spec

对照你的 PRD 检查

Dual RAG engine: one pipeline reads your PRD / design docs / API specs. The other reads your code. Then it cross-references them — and flags what doesn't match.

双 RAG 引擎：一个管道读 PRD/设计文档/API 规范，另一个读代码。交叉对照——标出不一致的地方。

🐶

Catches Business Logic Errors

抓住业务逻辑漏洞

80% of production bugs are logic errors, not syntax. CodeDog knows your order state machine, your error handling conventions, and your module contracts — and barks when they break.

80% 的生产 Bug 是逻辑错误，不是语法。CodeDog 了解你的订单状态机、错误处理约定、模块契约——偏离了就叫。

Same PR. Two Reviewers. 同一个 PR。两份 Review。

PR: adds "cancel order" feature. PRD says: only PAID orders can be cancelled. PR：新增"取消订单"功能。PRD 要求：只有已支付订单才能取消。

🐰 CodeRabbit

// src/order/service.ts:89
export function cancelOrder(order) {
  order.status = 'CANCELLED';
  order.cancelledAt = Date.now();
  return order;
}

✅ Syntax is fine
⚠️ Missing guard: any status can cancel ✅ 语法没问题
⚠️ 缺少守卫：任何状态都能取消

🐕 CodeDog

// src/order/service.ts:89
export function cancelOrder(order) {
  order.status = 'CANCELLED';
  order.cancelledAt = Date.now();
  return order;
}

🔴 SPEC DRIFT — Line 89 allows any status to cancel.
PRD §3.2 states: "only PAID orders may be cancelled" 🔴 规范漂移 — 第89行允许任何状态取消。
PRD §3.2 要求："只有已支付订单可取消"

See Spec Drift Detection Spec Drift 检测示例

PRD says: "Order status must be: PENDING → PAID → SHIPPED" PRD 要求："订单状态只能是：待支付 → 已支付 → 已发货"

// src/order/service.ts:142
export function updateStatus(order, newStatus) {
  // PRD constraint: status must follow PENDING→PAID→SHIPPED
  order.status = newStatus; ← 无状态机校验，跳过了 PAID
}

// CodeDog flags this as SPEC DRIFT
// Referenced: /docs/prd/order-system.md §3.2

Blue annotations = mild deviation. Red annotations = spec violation. CodeDog reads your PRD and your code — then shows you the gap. 蓝色标注 = 轻微偏差。红色标注 = 违反规范。CodeDog 读完你的 PRD 和代码——标出中间的差距。

🐕 Be First in Line 🐕 第一批内测用户

CodeDog is in early development. Drop your email — you'll get first access + founder's pricing when we launch. CodeDog 还在开发中。留下邮箱——上线第一时间通知你，享受创始用户价格。

No spam. Just product updates from a real person behind the keyboard. 不群发。一个真人在键盘后面的产品更新。