CtrlK
BlogDocsLog inGet started
Tessl Logo

jpc0/provably-correct-software

Build provably correct software using formal methods like Hoare Logic, Weakest Preconditions, and Design-by-Contract.

99

1.45x

Quality

100%

Does it follow best practices?

Impact

99%

1.45x

Average score across 5 eval scenarios

Overview
Skills
Evals
Files

tile.json

{
  "name": "jpc0/provably-correct-software",
  "version": "0.1.0",
  "summary": "Build provably correct software using formal methods like Hoare Logic, Weakest Preconditions, and Design-by-Contract.",
  "private": false,
  "skills": {
    "provably-correct-software": {
      "path": "SKILL.md"
    }
  }
}

Install with Tessl CLI

npx tessl i jpc0/provably-correct-software@0.1.0

SKILL.md

tile.json