oaustegard/reasoning-semiformally
plugins/code-intelligence/skills/reasoning-semiformally/SKILL.md
Apply semi-formal certificate reasoning to code analysis — patch verification, fault localization, patch equivalence. Use when reviewing patches, hunting bugs across scopes, comparing fixes, or when code reasoning requires tracing execution across files/modules. Triggers on code review, bug localization, patch comparison, name shadowing, scope analysis, regression checking.
$ install --global
skillsauthnpx skillsauth add oaustegard/claude-skills reasoning-semiformallyInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Jul 26, 2026, 3:25 AM228.3s4 files scanned
SKILL.md
- name:
- reasoning-semiformally
- description:
- Apply semi-formal certificate reasoning to code analysis — patch verification, fault localization, patch equivalence. Use when reviewing patches, hunting bugs across scopes, comparing fixes, or when code reasoning requires tracing execution across files/modules. Triggers on code review, bug localization, patch comparison, name shadowing, scope analysis, regression checking.
- version:
- 0.3.0
Semi-Formal Code Reasoning
Structured certificate templates that force mandatory checkpoints before conclusions.
Skip Conditions
Do NOT apply semi-formal reasoning when:
- The change is trivial: docs, formatting, version bumps, config changes
- The bug is locally obvious: typo, off-by-one in the same function, missing comma
- No execution paths cross scope boundaries
- The task is not code analysis (text editing, data extraction, summarization)
If any skip condition is met, proceed with standard reasoning.
Model-Specific Instructions
If you are Haiku-class (Haiku 4.5 or similar):
Read haiku.md in this skill directory. It contains full procedural templates with worked examples.
If you are Sonnet-class or above (Sonnet 4.6, Opus):
Read sonnet.md in this skill directory. It contains compact verification checkpoints.
Composing Tasks
For complex tasks, apply templates sequentially:
- Fault localization to find the bug
- Patch verification to validate a proposed fix
- Patch equivalence to compare alternative fixes
Each output feeds the next as premises.
Related Skills
oaustegard/writing-instructions
development
VerifiedTrustedCommunity
Write effective instructions for Claude: project instructions, standalone prompts, and skill content. Use when users need help writing prompts, setting up project instructions, choosing between instruction formats, or improving how they communicate with Claude. Covers writing principles, model-aware calibration, and format selection. For building and testing complete skills, use skill-creator instead.
134SKILL.mdUpdated Jul 26, 2026
oaustegard/finding-skills
data-ai
VerifiedTrustedCommunity
Discover and load skills on demand from /mnt/skills/user/. Use when you need a capability but don't know which skill provides it, when the boot-emitted skill list is names-only and you need a full description, or when you want to list the catalog. Verbs are list (names only), search (rank by name/description match against a query), and show (emit the full SKILL.md for a named skill).
134SKILL.mdUpdated Jul 26, 2026
oaustegard/transcribing-images
documentation
VerifiedTrustedCommunity
Reads the visual content of slides, pages, and images the way a human would, not just their embedded text. Use when a PPTX or PDF has image slides, screenshots, charts, scanned figures, or flattened-to-image layouts that the built-in pptx/pdf skills read as empty; when asked to transcribe, describe, OCR, or extract what is shown in an image, slide deck, or document page; or when embedded-text extraction returned little or nothing from a visually rich file. Triggers on 'read this deck', 'what's on these slides', 'transcribe', 'OCR', 'extract text from image', 'describe this chart/diagram', .pptx/.pdf/.png/.jpg with visual content.
134SKILL.mdUpdated Jul 26, 2026
oaustegard/svg-portrait-mode
development
VerifiedTrustedCommunity
Portrait Mode for SVGs — foveated vectorization with 4-zone selective detail. Combines vision annotations, MediaPipe segmentation/landmarks, and optional saliency. Like phone portrait mode, but vectorized. Use when vectorizing a portrait or photo where subject detail should outrank background detail.
134SKILL.mdUpdated Jul 26, 2026