# Logic Of Programs Hoare

> Uses Hoare-style reasoning and contracts for program correctness and safety.

- Skill: `jonatangs777/logic-of-programs-hoare` (Agent Skill, multi-file: 8 files)
- Install (CLI): `npx skillmds@latest add jonatangs777/logic-of-programs-hoare`
- Raw SKILL.md: https://api.skillmd.com/api/skills/jonatangs777/logic-of-programs-hoare/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: JonatanGS777 (https://skillmd.com/u/jonatangs777)
- Updated: 2026-09-22
- Page: https://skillmd.com/skills/jonatangs777/logic-of-programs-hoare

---


# Logic Of Programs Hoare Skill

## Mission
Uses Hoare-style reasoning and contracts for program correctness and safety.

## When to use
- When the task requires strict logical correctness and defensible reasoning.
- When assumptions, constraints, and proof obligations must be made explicit.

## Inputs expected
- Formal problem statement, constraints, and success criteria.
- Known assumptions, unknowns, and boundary conditions.

## Workflow
1. Translate the task into formal entities, assumptions, and constraints.
2. Derive the solution through explicit logical rules or proof structure.
3. Validate with edge cases, contradiction checks, and consistency tests.

## Output contract
Return: formal framing, reasoning chain, verification evidence, and residual uncertainty.

## Guardrails
- Never skip logical steps or present intuition as proof.
- Never mix assumptions with verified facts.
- Always provide at least one explicit validation or counterexample check.


## Logical reliability checklist
- Assumptions are explicit and separated from verified facts.
- The solution path is justified with clear reasoning steps.
- Edge cases and contradiction checks are included.
- Output is testable, auditable, and reversible when possible.

## Example prompts
- "Apply the logic-of-programs-hoare skill to handle this task end-to-end."
- "Run logic-of-programs-hoare and produce a production-ready output with validation notes."