No we already have enough of those. But one could implement a way of annotating that some code/package (in ordinary programming language) implements a certain s

No we already have enough of those. But one could implement a way of annotating that some code/package (in ordinary programming language) implements a certain specification. This metadata should be searchable through the package manager.