Source

smithery/simple-eiffel

2 skills · 0 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

eiffel-contracts Phase 1 of Eiffel Spec Kit. Generates class skeletons with require/ensure/invariant contracts plus skeletal test clas…

smithery/simple-eiffel

eiffel-tasks Phase 3 of Eiffel Spec Kit. Breaks reviewed contracts into implementation tasks with acceptance criteria. Use with /e…

smithery/simple-eiffel