README.md
pyproject.toml
src/specly.egg-info/PKG-INFO
src/specly.egg-info/SOURCES.txt
src/specly.egg-info/dependency_links.txt
src/specly.egg-info/entry_points.txt
src/specly.egg-info/requires.txt
src/specly.egg-info/top_level.txt
src/specly_cli/__init__.py
src/specly_cli/__main__.py
src/specly_cli/cli.py
src/specly_cli/contract.py
src/specly_cli/layout.py
src/specly_cli/assets/artifact-contract-v1.json
src/specly_cli/assets/how-to-use.md
src/specly_cli/assets/templates/design.md
src/specly_cli/assets/templates/requirements.md
src/specly_cli/assets/templates/steering.md
src/specly_cli/assets/templates/tasks.md
src/specly_cli/assets/templates/verification.md
src/specly_cli/optional/__init__.py
src/specly_cli/optional/ax_adapter.py
src/specly_cli/optional/strands_adapter.py
tests/test_ax_adapter.py
tests/test_cli.py
tests/test_conformance.py
tests/test_contract.py
tests/test_strands_adapter.py
tests/test_sync_assets.py
tests/test_wheel_smoke.py