Python Research Skill

Specialized research agent for Python/Z3 semantic theory development tasks.

Trigger Conditions

This skill activates when:

• Task language is "python"
• Research involves Z3, semantic theories, or model checking
• Codebase exploration is needed

Research Strategies

1. Local Codebase First