schema-contract-design
CommunityAutomate contract design and validation for mathematical correctness.
Authorstephendor
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the process of adding new mathematical correctness contracts to the system, ensuring they are correctly authored and validated against the meta-schema.
Core Features & Use Cases
- Contract Design: Guides users in creating new contracts for formulas, schemas, invariants, or output validations.
- Validation: Validates the correctness of the contract against the meta-schema and binding tests.
- Use Case: When a new mathematical correctness check is ready to be mechanized, use this Skill to create the contract, ensuring it adheres to the required standards.
Quick Start
Use the schema-contract-design skill to create a new contract for a formula, schema, invariant, or output validation.
Dependency Matrix
Required Modules
python
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: schema-contract-design Download link: https://github.com/stephendor/TDL/archive/main.zip#schema-contract-design Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.