菜单
poes 收录了来自 kurrent-io 的 1 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
POES (Proof-Oriented Event Sourcing) API reference for verifying event-sourced aggregates with property-based testing, exhaustive state exploration, temporal properties, and KurrentDB persistence. Use when writing or verifying aggregates, invariants, transitions, or temporal properties.