I've seen a lot of research tools use method annotations to allow users to specify protocols, restrictions, etc. to facilitate automatic checking later.
Since annotations don't dictate what you can do with them, there is no good reason not to allow users to annotate interfaces.