behavior-contract

Name: behavior-contract
Author: a5c-ai

SKILLFlujo de trabajocomunidad

v0.0.0a5c-aiMITActualizado hace 1 mFuente →

Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

2kEstrellas del repo

1Clientes

1Formatos

hace 1 mÚltima actualización

Skill

Autora5c-ai

Versión0.0.0

LicenciaMIT

CategoríaFlujo de trabajo

Formatosskill.md

PromptAbrir (ver la pestaña Prompt)

Compatibilidad

Claude✓ Compatible

Cursor—

Copilot—

ChatGPT—

Gemini—

Acerca de

Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.

Palabras clave

skillclaude

Sin cobertura de dependencias

Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.