Searching protocol for "eiffel-spec-kit"
Bootstraps Eiffel contracts and tests.
See where you stand in the Eiffel workflow.