Skip to main content
manji-0
GitHub 创作者资料

manji-0

按仓库查看 5 个 GitHub 仓库中的 30 个已收集 skills。

已收集 skills
30
仓库
5
更新
2026年8月23日
仓库浏览

仓库与代表性 skills

已展示 8 / 15 个已收集 Skill。
rdra-ish-verify
软件开发工程师

Formal-verify RDRA-ish models with TLA+/TLC. Use when the user asks about export --kind tla, verify --backend tlc, temporal property / always / eventually / leads_to, after.assert, when().none/has, Int/Money/Decimal/now arithmetic, multi-entity…

2026年7月28日
rdra-ish-review
软件开发工程师

Review RDRA DSL files for syntax errors, semantic inconsistencies, missing relationships, staged refinement gaps, business flow coverage, requirement/NFR traceability, screen field mappings, API contracts, exports, ADR links, and lint readiness

2026年7月27日
rdra-ish-write
软件开发工程师

Write RDRA DSL files from requirements using correct syntax and file structure, including staged abstract-to-concrete refinement, business flows, requirements/NFRs, conceptual models, screen fields, API contracts, data modeling annotations, ADR links,…

2026年7月27日
rdra-ish-buc-analyze
软件开发工程师

Choose the right RDRA-ish BUC or whole-model analysis path for refinement readiness, coverage gaps, business flow, requirement/NFR traceability, screen field mappings, API contracts, access, system boundaries, exports, and state patterns

2026年7月27日
rdra-ish-buc-create
软件开发工程师

Create a new BUC file from a requirements description, using staged refinement from BUC skeleton and business flow to conceptual/data, UI/API contracts, lifecycle, rules, NFRs, and traceability

2026年7月18日
rdra-ish-buc-update
软件开发工程师

Update an existing BUC by adding or modifying use cases, business flows, requirements, screens, fields, API contracts, concepts, NFRs, events, entities, ADR links, and predicates while preserving staged refinement

2026年7月18日
rdra-ish-diagram
软件开发工程师

Choose the right RDRA-ish diagram, CSV review, diff, or export view for the modeling situation, then load focused references for commands and interpretation

2026年7月18日
已展示 5 / 5 个仓库
已展示全部仓库