cdeust/zetetic-team-subagents · skills/formal-correctness/SKILL.md
formal-correctness skillA
Prove it, don't test-and-hope. Use for concurrent or distributed code with no written spec, "how do we know this is correct?", interfaces that break when implementations are swapped, correctness argued by walking through example traces, wall-clock time used for ordering, or "can this be decided at all?".
Latest version
mdr add cdeust/zetetic-team-subagents/formal-correctness@git:20260805.e8cc65eExact content
mdr add cdeust/zetetic-team-subagents/formal-correctness@sha256:dab70955b737ab3cBadge
[](https://markdownregistry.com/a/art_frnfaj3vkcvhz3pf)
0 badge views in 30 days
Versions
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260805.e8cc65e latest | 2026-08-05 | e8cc65e | 2,962 B | A | view · diff |
| git:20260722.b89f9c1 | 2026-07-22 | b89f9c1 | 2,933 B | A | view |
Audit of the latest version
A 17 of 17 checks passed. Deterministic, no model, same answer every run.
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (2962 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
GitHub
cdeust/zetetic-team-subagents · 7 stars · license MIT · pushed 2026-09-05 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_frnfaj3vkcvhz3pf GET https://markdownregistry.com/api/v1/resolve?ref=cdeust/zetetic-team-subagents/formal-correctness GET https://markdownregistry.com/api/v1/blob/dab70955b737ab3cf71d30c4c97f7942175065b66a052c41ee46138158207efd