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 |
Skill folder: reasoning-semiformally
Release of reasoning-semiformally version 0.3.1
📥 Download & Install
⬇️ Download reasoning-semiformally.zip
To install:
- Click the download link above (ignore the "Source code" archives below - they're auto-generated by GitHub)
- Go to Claude.ai Skills Settings
- Upload the downloaded ZIP file
- Requires paid Claude Pro or Team account
See official documentation for more details.
Recent Changes
db4e3e1 prompt-audit: dated prompting patterns across the skill catalogue (#791)