CtrlK
BlogDocsLog inGet started
Tessl Logo

evilissimo/design-by-contract

Analyze code to suggest and add Design by Contract specifications (preconditions, postconditions, invariants, semantic invariants) in any language. Trigger on: "Design by Contract", "DBC", "preconditions", "postconditions", "class invariants", "code contracts", "formal specifications", "document assumptions", "add contracts", "make this function safer", "define what this function guarantees", "add assertions to document behavior", Bertrand Meyer, Eiffel contracts, or when discussing invariants that should always hold. Do NOT skip for non-Eiffel code — DBC applies everywhere via assertions, type guards, properties.

92

1.05x
Quality

90%

Does it follow best practices?

Impact

95%

1.05x

Average score across 5 eval scenarios

SecuritybySnyk

Passed

No known issues

Overview
Quality
Evals
Security
Files

tile.json

{
  "name": "evilissimo/design-by-contract",
  "version": "0.1.4",
  "private": false,
  "summary": "Analyze code to suggest and add Design by Contract specifications (preconditions, postconditions, invariants, semantic invariants) in any language. Trigger on: \"Design by Contract\", \"DBC\", \"preconditions\", \"postconditions\", \"class invariants\", \"code contracts\", \"formal specifications\", \"document assumptions\", \"add contracts\", \"make this function safer\", \"define what this function guarantees\", \"add assertions to document behavior\", Bertrand Meyer, Eiffel contracts, or when discussing invariants that should always hold. Do NOT skip for non-Eiffel code — DBC applies everywhere via assertions, type guards, properties.",
  "skills": {
    "design-by-contract": {
      "path": "SKILL.md"
    }
  }
}

SKILL.md

tile.json