rachidchabane

Runs the proofs of the installed musthold modules together.

Fulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-alignment, the alignment proof.

Fulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-completeness, the completeness proof.

Fulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-dp, the discriminating-power proof.

Relays the closed questions of the musthold modules to a System One endpoint.

Teaches a coding agent to bind tests to spec requirements with [verifies ID~REV] tags and to pass the shallnot traceability gate before finishing.