incose

AI-powered automotive systems engineering skill: INCOSE/EARS requirements analysis, MISRA-C compliance, SAE J3016 ADAS levels, ISO 26262 ASIL, AUTOSAR, SOTIF. Works with Claude Code, ChatGPT Custom GPTs, Cursor, and any AI tool.

An INCOSE and ISO25010 requirements refiner.

Generate UML diagrams from natural language, validate system requirements against INCOSE standards, and accelerate systems engineering with modern AI.

A small, dependency-free linter for ambiguous and untestable language in requirements text.

A lightweight, interactive visualization of the Systems Engineering lifecycle. Maps phases from discovery to delivery with built-in ISO/INCOSE standards, context, and actionable LLM prompts.

Neurosymbolic EARS spec checker for coding agents: write requirements, and a Z3 SMT prover (optional Lean 4) proves when they cannot all hold — naming the culprits. Embeddings propose vocabulary links; the sound prover decides. Honest by design: it says verified:false and hands back a work list. Red-teamed; every escape is a pinned test.

SysML v2 Libraries for Requirements Management