agentic-code-reasoner
Agentic Code Reasoner
This skill implements the "Agentic Code Reasoning" framework, focusing on semi-formal reasoning. It bridges the gap between unstructured reasoning and fully formal verification by using structured reasoning templates that force explicit evidence for every claim.
When to Use
- Patch Equivalence: Verifying if two code patches produce the same semantic outcomes without execution.
- Fault Localization: Identifying the exact lines of buggy code given a failing test description.
- Code Question Answering: Answering nuanced questions about project-specific logic, library semantics, and edge cases.
- Pre-commit Review: Performing deep semantic analysis of changes to prevent regressions.
The Semi-Formal Protocol
To perform agentic code reasoning, follow this iterative protocol to generate a Reasoning Certificate.
Phase 1: Context & Premise Extraction
- Goal: Establish a baseline of facts from the codebase.
- Action: List all relevant function signatures, variable types, constants, and imported library behaviors involved.
- Verification: Use
grep_searchandread_fileto ensure every premise is grounded in actual code.
More from roasbeef/claude-files
slide-creator
Transform written content (blog posts, newsletters, articles) into visual slide deck images. This skill should be used when converting text content into presentation format, creating slide graphics from outlines, or generating visual summaries of written material.
55nano-banana
Generate and edit images using Gemini's image generation API (Imagen 3). This skill should be used when creating images, illustrations, diagrams, editing existing images, or iteratively refining visual content through multi-turn conversations.
17eclair
Run and interact with eclair Lightning Network daemon in Docker. Use for Lightning development, testing payment channels on regtest, managing eclair containers, and calling eclair API endpoints (getinfo, connect, open/close channels, pay/receive).
13lnd
Run and interact with lnd Lightning Network daemon in Docker. Use for Lightning development, testing payment channels on regtest, managing lnd containers, and calling lnd RPC endpoints (getinfo, connect, open/close channels, pay/receive). Supports bitcoind, btcd, and neutrino backends.
12mutation-testing
Validates test suite quality through mutation testing. Generates intelligent code mutations, runs tests to verify they catch the changes, and identifies gaps in test coverage. Use when evaluating test effectiveness, validating newly written tests, or improving test quality for mission-critical code.
10skill-creator
Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or tool integrations.
10