algorithm-correctness-invariants

Name: algorithm-correctness-invariants
Author: JonatanGS777

SKILLFlusso di lavorocommunity

v0.0.0JonatanGS777MITAggiornato 4 mesi faFonte →

Validates algorithm correctness using invariants, preconditions, and postconditions.

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

7Stelle del repo

1Client

1Formati

4 mesi faUltimo aggiornamento

Skill

AutoreJonatanGS777

Versione0.0.0

LicenzaMIT

CategoriaFlusso di lavoro

Formatiskill.md

PromptNon pubblicato

Compatibilità

Claude✓ Supportato

Cursor—

Copilot—

ChatGPT—

Gemini—

Descrizione

Validates algorithm correctness using invariants, preconditions, and postconditions.

Parole chiave

skillclaude