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
Analyze Solidity and other smart contract code for security vulnerabilities, gas inefficiencies, and best practice violations. Get detailed reports with risk scoring, remediation suggestions, and optimization recommendations. Whether you're auditing before deployment or reviewing third-party contracts, this skill identifies critical issues faster than manual review.
You can systematically diagnose database performance bottlenecks by sharing your schema, slow query logs, and execution plans with Claude. It identifies root causes—missing indexes, inefficient joins, lock contention—and provides prioritized recommendations with ready-to-implement SQL. Skip the manual log analysis and get tuning strategies tailored to your workload.
This skill provides a structured approach to analyzing process problems, identifying root causes, and recommending capacity optimizations. You'll get clear bottleneck identification, data-driven recommendations, and a framework to validate whether your solutions actually work. Perfect for diagnosing why workflows are slow and finding the leverage points that matter most.
Use Claude to systematically analyze your database queries, execution plans, and schema to identify performance bottlenecks. The skill generates actionable optimization recommendations with SQL rewrites, index strategies, and configuration tuning. You'll receive detailed before-and-after performance analysis to validate improvements and prioritize work by impact.
You'll design and implement mobile features with architectural rigor, cross-platform considerations, and edge-case handling built-in. This skill generates complete system designs, platform-specific implementation strategies, performance optimization approaches, and testing frameworks. The output is production-ready guidance spanning iOS and Android with security, offline resilience, and deployment strategies included.
Design and optimize injectable formulations by analyzing your active pharmaceutical ingredient (API), selecting compatible excipients, and predicting stability outcomes. You'll receive systematic workflows that guide you through API characterization, formulation architecture, and risk mitigation—enabling faster development cycles and regulatory-ready documentation.
You'll develop systematic approaches to injectable formulation design, from API selection through sterilization strategy. Claude helps you troubleshoot failed batches by analyzing root causes, recommends regulatory pathways (505(b)(2), ANDA, NDA), and provides science-backed solutions for stability, compatibility, and manufacturability challenges.
You can architect multi-node ROS control systems from scratch, including node design patterns, communication flows, and real-time constraints. You'll debug complex node interactions using publisher/subscriber analysis, service call tracing, and action server diagnostics. You can optimize motion controllers through PID tuning, trajectory planning validation, and performance profiling to achieve precise, responsive robotic behavior.