design-by-contract

Automated contract verification, detection, and remediation across multiple languages using formal preconditions, postconditions, and invariants. This skill provides both reference documentation AND e

by OutlineDriven· Repository·documents

design

contract

Run in AgentArea Browse All Skills

Also installable via skills CLI

npx skills add OutlineDriven/odin-claude-plugin/documents/design-by-contract

Source

Repo:SkillsMP Synced Skills

Path:documents/design-by-contract(main)

Related in documents

docx

Comprehensive document creation, editing, and analysis with support for tracked changes, comments, formatting preservation, and te...

docx

by anthropics

24,530

pdf

Comprehensive PDF manipulation toolkit for extracting text and tables, creating new PDFs, merging/splitting documents, and handlin...

pdf

by anthropics

24,530

website-maintainer

Use this skill when working on the Repomix documentation website in `website/` directory, including VitePress configuration, multi...