skilld
All skills
oaustegard avatar

/reasoning-semiformally

@5e58100
by Oskar Austegardoaustegard/claude-skills150 stars
6

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.

Ask your Agent

Use this Skill: https://skilld.dev/gh/oaustegard/claude-skills/reasoning-semiformally

This session only. Nothing lands on disk.

README.md

≈220 tokens on demand. Your agent reads this file only when SKILL.md points to it.

Semi-Formal Code Reasoning

Structured certificate templates for code analysis, based on Ugare & Chandra (2026).

Provenance

  • Paper: Ugare & Chandra, "Agentic Code Reasoning with Semi-Formal Certificates" (arXiv:2603.01896, March 2026)
  • Replication: Django name-shadowing (0%→100% fault localization), 3 real bugs (+11pp aggregate)
  • CVE validation: CVE-2026-29000 (pac4j-jwt, 383 lines). Haiku: +20pp with template. Sonnet: -20pp with template.
  • Finding: Template value is model-capability-dependent. Scaffolding helps weaker models; it becomes overhead for stronger ones.

Structure

File Audience Purpose
SKILL.md All models Thin router: skip conditions + model-tier routing
sonnet.md Sonnet/Opus 3 compact verification checkpoints
haiku.md Haiku Full procedural templates with worked examples

Source: SKILL.md on GitHub

Third-party checks

No alerts4mo3 checks · Risk SAFE
  • Gen Agent Trust Hub4mo

    This skill provides structured templates and checkpoints for semi-formal code reasoning, such as patch verification and fault localization. It contains no malicious code, network operations, or attempts to access sensitive information.

  • Socket4mo

    No alerts

  • Snyk4mo

    Risk: LOW · No issues

Provenance

Signed by skilld at 5e58100. This ties the file your Agent reads to that commit on GitHub. It does not review the instructions.

Last checked against GitHub yesterday.

Activeupdated 3 weeks ago

Capability

metadata
{
  "version": "0.3.1"
}

README badge

README badge for oaustegard/claude-skills/reasoning-semiformally