Skip to content

Agent Plugins Directory

Skills MCP Official Topics ToolsLoginSOON

Files

mcp.json
plugin.json
skills/
- prove-all/
  - SKILL.md
- scan/
  - SKILL.md

More from rachidchabane

musthold-alignmentFulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-alignment, the alignment proof.
musthold-completenessFulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-completeness, the completeness proof.
musthold-dpFulfil skill and executor server that let a client of the Agent Plugins standard answer the model requests of musthold-dp, the discriminating-power proof.
musthold-s1Relays the closed questions of the musthold modules to a System One endpoint.
shallnotTeaches a coding agent to bind tests to spec requirements with [verifies ID~REV] tags and to pass the shallnot traceability gate before finishing.

R

rachidchabane/musthold

v0.1.1Apache-2.0

Runs the proofs of the installed musthold modules together.

Overview Skills2

Version	Commit	First seen
0.1.1latest	a127e88630ae	2026-10-30

Install

```
copilot plugin install RachidChabane/musthold:umbrella/plugin/portable
```
Also works as /plugin install inside a session. Installs from the default branch.

Declared author

Rachid Chabane

Keywords

musthold proof tests requirements

Browse

Skills
MCP servers
Official publishers

Explore

Topics
Keywords

More

Validate a spec
Docs for agents
openapi.json
llms.txt
sitemap.xml

About

About
Contact
Privacy Policy

Newsletter

Short and occasional. One click to stop.

Email address

An independent directory for the Agent Plugins open standard.

Skills MCP Official Topics Tools