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.

CHANGELOG.md

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

reasoning-semiformally - Changelog

All notable changes to the reasoning-semiformally skill are documented in this file. The format is based on Keep a Changelog.

[0.3.1] - 2026-09-09

Fixed

  • repair broken frontmatter, mark obsolete skills, close registry gaps (#746)

Other

  • prompt-audit: dated prompting patterns across the skill catalogue (#791)
  • Semi-formal reasoning: model-specific routing (Haiku vs Sonnet) (#524)
  • Add model-tier guidance from CVE-2026-29000 experiment (#523)
  • Add reasoning-semiformally skill (#522)

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