Skip to main content
manji-0
Profil créateur GitHub

manji-0

Vue par dépôt de 30 skills collectés dans 5 dépôts GitHub.

skills collectés
30
dépôts
5
mis à jour
23 août 2026
explorateur de dépôts

Dépôts et skills représentatifs

Affichage de 8 skills collectés sur 15.
rdra-ish-verify
Développeurs de logiciels

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…

28 juil. 2026
rdra-ish-review
Développeurs de logiciels

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

27 juil. 2026
rdra-ish-write
Développeurs de logiciels

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,…

27 juil. 2026
rdra-ish-buc-analyze
Développeurs de logiciels

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

27 juil. 2026
rdra-ish-buc-create
Développeurs de logiciels

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

18 juil. 2026
rdra-ish-buc-update
Développeurs de logiciels

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

18 juil. 2026
rdra-ish-diagram
Développeurs de logiciels

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

18 juil. 2026
5 dépôts affichés sur 5
Tous les dépôts sont affichés