The AaC Specification (aac-spec) Plugin is an extension of the core AaC tool and provides specification and requirements traceability capabilities upon ingest of an AaC model. Documentation for the core AaC tool can be found here

Specification Plugin <aac-spec>