AgentStack
Sign in Publish
MCP servers Skills Toolkits Why AgentStack Sell Docs
Sign in
SKILL verified Apache-2.0 Self-run

Domain Invariant Check

skill-zuoyebang-aiweave-domain-invariant-check · by zuoyebang

审计代码是否真正保护了领域不变量。扫描 service 方法，对照 docs/service/{module}_service.md §7 业务规则 / 隐式约束 / 业务状态机，校验伪码 [INVARIANT-CHECK: I-N] 标记与代码实现的一致性。命中标 🔴 严重（结构性问题）或 🟡 待复核。

↗ Repository
— No reviews yet
0 installs
9 views
0.0% view→install

Install

$ agentstack add skill-zuoyebang-aiweave-domain-invariant-check

✓ scanned · ✓ verified — works with Claude Code, Cursor, and more.

Security review

✓ Passed

No issues found. Passed automated security review. · v0.1.0 How review works →

  • ✓ Prompt-injection patterns
  • ✓ Secret / credential exfiltration
  • ✓ Dangerous shell & filesystem operations
  • ✓ Untrusted network calls
  • ✓ Known-malicious package signatures

What it can access

  • ✓ Network access No
  • ✓ Filesystem access No
  • ✓ Shell / process execution No
  • ✓ Environment & secrets No
  • ✓ Dynamic code execution No

From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.

Are you the author of Domain Invariant Check? Claim this listing to set pricing, connect Stripe payouts, and keep 70% of every sale.
Sign up to claim

About

审计代码 ↔ 领域不变量一致性。范围：$ARGUMENTS。

> 公共步骤模板见 [skills-spec/01skillauthoring_guide.md](path) §A-§E。本 Skill 不生成代码。

第 0 步：🚫 模块 + 启用状态检查

  1. 读 BUILD_STATUS.md §0 —— 命中 🚫 模块跳过
  2. 读 INDEX.md §0 —— 如 docs-spec/09 §7 领域不变量 未启用 → 跳过本 Skill

第 1 步：读约束源

按顺序读：

  1. docs/service/{module}_service.md §7 —— §7.1 业务规则 / §7.2 隐式约束 / §7.3 业务状态机
  2. docs/architecture/ai_dev_guide.md §8.3 —— 领域不变量约束总清单
  3. docs/BUILD_STATUS.md §11.3 —— 领域不变量启用状态（已设计 / 已启用条目数）

第 2 步：扫描代码范围

按 $ARGUMENTS 确定扫描范围：

  • 空：git diff main..HEAD --name-only 取新增/修改的 service / controller / models 文件
  • {module}：service/{module}/**/*.go
  • {module}/{Method}：聚焦该方法实现及其测试

第 3 步：4 项审计

审计 1：[INVARIANT-CHECK: I-N] 标记 ↔ 代码实现匹配率

对每个含 [INVARIANT-CHECK: I-N] 标记的方法：
  1. 查 §7.1 业务规则表中 I-N 对应的"不变量"条目
  2. 在该方法的代码实现中搜索对应的校验语句（如 if {amount-field}  🧩 **AIWeave 骨架 · 作者 XuRuibo**  · Apache-2.0 · 模板文件，复制到工程后按业务语义填充

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [zuoyebang](https://github.com/zuoyebang)
- **Source:** [zuoyebang/aiweave](https://github.com/zuoyebang/aiweave)
- **License:** Apache-2.0

Install and usage instructions live in the source repository linked above.

Reviews

No reviews yet — be the first.

Write a review

Versions

  • v0.1.0 Imported from the upstream source.

More in Agent Skills