Location, restaurant and hotel search via OpenStreetMap (Nominatim + Overpass API). Returns POIs (Points of Interest) near a location or searches by (SKILL.md metadata excerpt)
Explain what a specific piece of code actually does for a given input by producing a step-by-step execution trace (interprocedural, with name (SKILL.md metadata excerpt)
AI-powered Claude Code skill that performs deep code review using formal logic and reasoning frameworks to detect bugs, anti-patterns, and security risks (SKILL.md metadata excerpt)
Find logic bugs in a single file or function via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). (SKILL.md metadata excerpt)
Codified expertise for handling freight exceptions, shipment delays, damages, losses, and carrier disputes. Informed by logistics professionals with 15+ years operational experience. (SKILL.md metadata excerpt)