Coding Assistants

Reqvire integrates with coding assistants by exposing the engineering knowledge graph as structured, AI-ready context. Assistants can work from ontology, capability, requirement, contract, verification, and implementation evidence instead of scattered prose.

Integration Options

Claude Code plugin

Marketplace plugin with Reqvire slash commands and systems-engineering skills for model analysis, requirement authoring, verification work, impact analysis, and task generation.

Codex skill package

Installable Reqvire skills for Codex workflows, including semantic engineering, ontology authoring, and concept/thesaurus authoring guidance.

MCP server

Standard Streamable HTTP interface for MCP-capable clients. Read/report tools, resources, and prompts are available by default; mutation tools require explicit enablement.

Claude Code Plugin

Add the Reqvire marketplace, install the plugin, then restart Claude Code.

/plugin marketplace add https://github.com/reqvire-org/reqvire
/plugin install reqvire@reqvire-org

Skills: syseng, ontology-authoring, and concept-authoring.
Commands include analyze-model, add-requirement, add-verification, add-capability, analyze-coverage, analyze-impact, collect, lint-model, consolidate, generate-tasks, rename-element, mv, mv-file, and rm.
Plugin content comes from claude-plugins/skills/syseng, claude-plugins/skills/ontology-authoring, and claude-plugins/skills/concept-authoring.

Codex Skills

Reqvire includes Codex skill packages in the repository. The installer copies them to $CODEX_HOME/skills and replaces any older Reqvire skill copies.

./scripts/install-codex-skill.sh

# Installed skill directories
$CODEX_HOME/skills/reqvire-syseng
$CODEX_HOME/skills/reqvire-ontology-authoring
$CODEX_HOME/skills/reqvire-concept-authoring

MCP Server

Start Reqvire as an MCP Streamable HTTP server when an assistant should discover tools, resources, and prompts dynamically.

reqvire mcp
reqvire mcp --with-size-estimates
reqvire mcp --enable-mutations

Convenience no-install form:

npx -y @reqvire-org/reqvire@latest --workspace /path/to/repository mcp

Use reqvire.semantic.ontologies when an assistant needs ontology vocabulary. Use reqvire.semantic.shapes for SHACL, reqvire.semantic.concepts for SKOS concepts, and reqvire.semantic.graph for the combined graph. Pass full: true when it also needs generated model context triples for elements, relations, Contract Bindings entries, concept references, ontology declarations, and shape references.

Recommended Workflow

1Capability first: understand or define the operational ability being changed.

2Concept and ontology context: inspect or reuse curated terminology and structural semantic vocabulary that give the capability meaning.

3Requirements: define implementable obligations that specify the capability.

4Contracts: define requirements in precise terms: source basis, specifications, constraints, behavior, state, interfaces, and input/output semantics.

5Semantic contracts: add reusable SHACL shape profiles under the ontology plane and link them with constrainedBy/constrain and use/usedBy.

6Verifications: ensure leaf requirements are verified so capability coverage rolls up correctly.

7Implementation links: connect code, tests, proofs, and evidence with satisfiedBy.

8Validation: run validate, lint, coverage, traces, and change impact before review.

Useful Prompts

Show unverified leaf requirements and propose verifications.
Explain the capability, concept and ontology context, requirements, and verification evidence for this change.
Analyze change impact against main and summarize invalidated verifications.
Create implementation tasks for the impacted requirements with traceability.
Refactor this requirement to extract technical detail into specification elements.

Use Cases

Engineering graph exploration

Coverage and traceability analysis

Change impact assessment

Capability planning

Implementation task generation

Concept and ontology context collection

Requirement refactoring

Verification hardening