# GCC が利用可能な環境（Ubuntu/macOS 等）で実行してください
pip install crosshair-tool

# バージョン確認
crosshair --version

# サンプルファイル作成
cat > /tmp/ch_demo.py << 'EOF'
def add(x: int, y: int) -> int:
    """
    post: __return__ == x + y
    """
    return x + y + 1  # わざとバグを仕込む

def deduplicate(items: list) -> list:
    """
    post: len(__return__) <= len(items)
    """
    return sorted(set(items))
EOF

# コントラクト検証（反例を自動発見）
crosshair check /tmp/ch_demo.py

# テストコード自動生成
crosshair cover /tmp/ch_demo.py