Skip to main content
manji-0
GitHub 제작자 프로필

manji-0

5개 GitHub 저장소에서 수집된 30개 skills를 저장소 단위로 보여줍니다.

수집된 skills
30
저장소
5
업데이트
2026년 8월 23일
저장소 탐색

저장소와 대표 skills

수집된 skill 15개 중 8개를 표시합니다.
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개 표시
모든 저장소를 표시했습니다