PLC Logic Debugger & Sequence Verifier
Debug PLC logic, verify sequences, catch safety issues
What You Can Do
Systematically analyze your PLC control sequences to catch logic errors, verify state transitions, and validate safety interlocks before deployment. The skill provides structured debugging workflows, cross-reference tracking, and generates test cases for edge conditions. You get detailed reports identifying issues, optimization opportunities, and gaps in your automation sequences.
Features
Trace signal flow and identify unreachable code or logic errors
Validate state transitions, check for deadlocks and unhandled conditions
Ensure E-stop, guard interlocks, and safety chains work as designed
Check timing dependencies and cycle-time bottlenecks
Map signal usage across rungs to find conflicts and dead signals
Generate test scenarios for fault conditions, restarts, and transitions
Identify redundant logic and simplification opportunities
Create runbooks and sequence diagrams from your logic
Example Output
Debugging Report Example:
- 🔴 CRITICAL: Timer T1 enables output Y3 but no E-stop overrides it
- 🟡 WARNING: Rung 12 unreachable when Input I5 not energized
- 🟢 PASS: Safety interlock chain (I1→S1→O1) verified correct
- ⏱️ Timing: Sequence completion ~800ms (acceptable, no bottleneck)
- ⚠️ Edge Case: What happens if I4 pulse during Y2 de-energize?
Sequence Verification Summary:
- ✅ State transitions: 12/12 valid
- ✅ E-stop coverage: 100%
- ❌ Guard interlock: Missing on output Y5
- 📊 Logic density: 34% (room to optimize)
What's Included
- SKILL.md: Complete debugging workflow with decision trees
- Ladder logic analysis checklist: Signal flow, reachability, conflicts
- State machine verification template: Transition matrix and deadlock checks
- Safety interlock audit form: E-stop chains, guard logic, emergency scenarios
- Test case generator: Edge cases, fault injection, restart sequences
- Runbook template: Auto-generated documentation from logic
Who It's For
- PLC programmers and engineers — Debug complex sequences and optimize cycle time
- Control systems engineers — Verify state machines and coordination logic
- Safety engineers — Audit interlocks, E-stops, and emergency circuits
- Automation technicians — Troubleshoot production sequences and edge cases
- Test engineers — Generate comprehensive test scenarios for acceptance testing
Best For
- Logic debugging — Trace signal flow, find unreachable code, identify conflicts
- Safety verification — Validate E-stop chains, guard interlocks, emergency procedures
- State machine validation — Check transitions for deadlocks and unhandled conditions
- Sequence optimization — Find timing bottlenecks and redundant logic
- Test case generation — Create edge-case scenarios for fault conditions and restarts
You might also like
Rapidly analyze production incidents by correlating observability signals—logs, metrics, traces, and events—to identify the true root cause instead of symptoms. You'll reconstruct incident timelines, quantify impact scope, and generate both immediate remediation steps and long-term prevention measures.
Claude analyzes your code diffs and generates standardized commit messages that follow the Conventional Commits specification. The skill automatically determines the correct commit type, scope, and description based on the changes you've made, ensuring your messages are parseable by automation tools while remaining human-readable for code reviewers.
You'll transform high-level feature requirements into a complete development plan covering API design, frontend implementation, testing strategy, and documentation. The skill helps you identify dependencies, parallelize work across frontend and backend teams, and establish quality gates that ensure features ship bug-free with proper error handling and logging.
Transform schema and data changes into production-ready migration packages that protect data integrity and minimize downtime. You can handle column additions, renames, type conversions, and backfills using proven patterns like expand-contract and shadow tables. The skill generates explicit rollback scripts, validation checklists, and phased execution plans that keep applications stable throughout the migration.
You can create comprehensive performance testing strategies tailored to your application's architecture, analyze test results to identify bottlenecks, and generate prioritized recommendations for optimization. The skill helps you design load tests, interpret metrics like latency and throughput, and create action plans for performance improvements.
You can design comprehensive performance test strategies tailored to your application architecture, analyze performance metrics and logs to identify bottlenecks, and receive specific optimization recommendations. The skill guides you through creating realistic load scenarios, interpreting performance data, and prioritizing fixes based on impact analysis.
You can submit your Solidity smart contracts for comprehensive security analysis, vulnerability detection, and gas optimization recommendations. Claude reviews your code against known attack vectors, design patterns, and best practices—identifying reentrancy risks, overflow/underflow issues, access control flaws, and inefficient operations. You receive actionable fix recommendations with explanations of the security implications and gas savings potential.
You can accelerate your entire antenna design workflow—from initial concept to optimized specifications—by leveraging Claude's knowledge of electromagnetic theory, antenna types, and design trade-offs. Claude helps you parameterize designs, identify optimal configurations for your frequency band and application, and prepare detailed briefs for simulation and manufacturing. You'll generate design reviews, impedance-matching solutions, and validation checklists without context-switching to multiple tools.