skill-python-research

Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.