reqvire-org/reqvire

A semantic engineering framework for building verifiable and traceable software.

18Stars on the repository
12Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

reqvire-audit

01

reqvire-org/reqvire

Skill Claude CodeCodex

Model quality and diagnostic skill for Reqvire. Use when (1) analyzing model structure, coverage gaps, and improvement recommendations, (2) checking verification coverage and identifying unverified leaf requirements, (3) linting and fixing model quality issues, (4) finding redundant verify relations, or (5) analyzing…

18 1mo ago A 77 tokens Apache-2.0

reqvire-org/reqvire

Skill Claude CodeCodex

Expert workflow for authoring Reqvire native concept schemes and concepts as SKOS thesauri. Use when creating or revising concept-scheme or concept elements, designing controlled vocabularies, concept taxonomies, broader/narrower/related links, labels, definitions, scope notes, examples, mappings, concept scheme…

18 1mo ago A 116 tokens Apache-2.0

reqvire-org/reqvire

Skill Claude CodeCodex

Expert workflow for creating, extending, and validating Reqvire structural ontology elements for IT engineering, systems engineering, MBSE, and system-of-interest modeling. Use for competency-question-driven OWL/Turtle vocabulary, semantic-contract boundaries, ontology hierarchy, domain/range/property modeling…

18 1mo ago A 98 tokens Apache-2.0

reqvire-syseng

04

reqvire-org/reqvire

Skill Claude CodeCodex

Expert semantic engineering and MBSE skill for Reqvire. Use when (1) exploring engineering knowledge graphs, (2) adding capabilities with proper ontology, requirement, and verification traceability, (3) refactoring cluttered models and extracting specifications, (4) generating implementation tasks from…

18 1mo ago A 150 tokens Apache-2.0

reqvire-audit

05

reqvire-org/reqvire

Skill Claude CodeCodex

Model quality and diagnostic skill for Reqvire. Use when (1) analyzing model structure, coverage gaps, and improvement recommendations, (2) checking verification coverage and identifying unverified leaf requirements, (3) linting and fixing model quality issues, (4) finding redundant verify relations, or (5) analyzing…

18 1mo ago A 77 tokens Apache-2.0

reqvire-org/reqvire

Skill Claude CodeCodex

Expert workflow for authoring Reqvire native concept schemes and concepts as SKOS thesauri. Use when creating or revising concept-scheme or concept elements, designing controlled vocabularies, concept taxonomies, broader/narrower/related links, labels, definitions, scope notes, examples, mappings, concept scheme…

18 1mo ago A 116 tokens Apache-2.0

reqvire-org/reqvire

Skill Claude CodeCodex

Expert workflow for creating, extending, and validating Reqvire structural ontology elements for IT engineering, systems engineering, MBSE, and system-of-interest modeling. Use for competency-question-driven OWL/Turtle vocabulary, semantic-contract boundaries, ontology hierarchy, domain/range/property modeling…

18 1mo ago A 98 tokens Apache-2.0

reqvire-syseng

08

reqvire-org/reqvire

Skill Claude CodeCodex

Expert semantic engineering and MBSE skill for Reqvire. Use when (1) exploring engineering knowledge graphs, (2) adding capabilities with proper ontology, requirement, and verification traceability, (3) refactoring cluttered models and extracting specifications, (4) generating implementation tasks from…

18 1mo ago A 150 tokens Apache-2.0

reqvire-design

09

reqvire-org/reqvire

Skill Claude CodeCodex

Use this skill to generate well-branded interfaces and assets for Reqvire (the Reqvire Explorer — a Git-native MBSE knowledge-graph viewer), either for production or throwaway prototypes/mocks/etc. Contains essential design guidelines, colors, type, fonts, assets, and UI kit components for prototyping.

18 1mo ago A 69 tokens Apache-2.0