rachidchabane/musthold-completeness

v0.1.1Apache-2.0

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

GitHub

musthold-completeness-fulfil

Answer the pending host requests of musthold-completeness (completeness) and finish the proof run. Use when musthold-completeness prove exits with code 3, when Shallnot reports awaiting_host for musthold-completeness, or when musthold-completeness request list --session prove shows tickets.