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.
commands
- musthold-completeness
plugin.json
- name
- musthold-completeness
- version
- 0.1.1
- description
- Fulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-completeness, the completeness proof.
- author
- Rachid Chabane
- license
- Apache-2.0
- keywords
- mustholdprooftestsrequirements
mcp.json
- musthold-completenessstdiomusthold-completeness mcp --role executor
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "musthold-completeness",
"version": "0.1.1",
"description": "Fulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-completeness, the completeness proof.",
"author": {
"name": "Rachid Chabane"
},
"repository": "https://github.com/RachidChabane/musthold",
"license": "Apache-2.0",
"keywords": [
"musthold",
"proof",
"tests",
"requirements"
]
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- hooks.json
Client extensions
Data this package carries for particular clients. The directory lists the clients named and never reads what is addressed to them.
- com.github.copilotships a directory of files