Skip to content

getting-started.md

Latest commit

 

History

History
77 lines (54 loc) · 1.56 KB

getting-started.md

File metadata and controls

77 lines (54 loc) · 1.56 KB
Raw

Getting Started

Instalacja lokalna

Z katalogu projektu:

pip install -e .[dev]

Sprawdź CLI:

python -m intract --version
python -m intract --help

Pierwszy kontrakt

Dodaj kontrakt nad funkcją:

# @intract.v1 scope:function intent:parse:extensions priority:2 domain:cli input:raw_extensions output:extension_list effect:none forbid:network,write validate:input_presence,output_presence,return_value,no_forbidden_effect meaning:"parse raw extension string into normalized extension list"
def parse_extensions(raw_extensions: str) -> list[str]:
    extension_list = [x.strip().lower() for x in raw_extensions.split(",") if x.strip()]
    return extension_list

Uruchom:

python -m intract scan .
python -m intract validate .

Nowy projekt

Wygeneruj manifest:

python -m intract init .

Powstanie:

intract.yaml

Możesz też skopiować gotowe template’y:

Najczęstszy workflow

python -m intract scan .
python -m intract validate .
python -m intract coverage .
python -m intract duplicates .
python -m intract graph . --format mermaid

Workflow developerski w czasie rzeczywistym

python -m intract watch .

Z ticketami:

python -m intract watch . --planfile