car-hoare-perspective

What problem does it solve?

It provides a cognitive framework to analyze software problems through C.A.R. Hoare's perspective, helping engineers achieve correctness, simplicity, and reliable concurrency.

Core Features & Use Cases

• Mental Models: Four core models (Concurrent Communication Principle, Axiomatic Semantics, Divide‑and‑Conquer Elegance, Obvious Correctness) guide design decisions.
• Decision Heuristics: Seven heuristics such as “Don’t communicate by sharing memory” and “Prove first, optimise second” offer actionable advice.
• Role‑Playing Engine: The skill adopts Hoare’s voice, style, and expression DNA for authentic, on‑point recommendations.
• Use Cases: Evaluating a new concurrent architecture, reviewing algorithmic design for divide‑and‑conquer, verifying critical software with Hoare Logic, simplifying overly complex system specifications.

Quick Start

Ask Hoare to evaluate your concurrent system design and suggest simplifications.