skill-python-research

npx skills add majiayu000/claude-skill-registry --skill skill-python-research-benbrastmckie-modelchecker-2 --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

# 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 Always check existing code first: ``` 1. Grep for relevant patterns 2. Glob for similar files 3. Read existing implementations 4. Understand existing patterns before proposing new ones ``` ### 2. Z3 API Research For Z3-specific patterns: ``` 1. WebSearch "z3 python {concept}" 2. WebFetch Z3 documentation 3. Check existing z3_helpers.py 4. Test patterns with Bash(python -c "...") ``` ### 3. Theory Pattern Research For semantic theory patterns: ``` 1. Read existing theories (logos, exclusion, imposition, bimodal) 2. Identify common patterns 3. Check theory_lib/__init__.py for registration 4. Review theory-specific tests ``` ## Research Areas ### Z3 Patterns - Solver configuration and optimization - Constraint generation patterns - Model extraction and interpretation - Incremental solving - Timeout handling ### Theory Development - SemanticDefaults extension patterns -

Test Z3 pattern
import z3
s = z3.Solver()
x = z3.Bool('x')
Test import
Check theory structure
ls Code/src/model_checker/theory_lib/logos/