redforge-ai/Makefile at main · Aimer-zero/redforge-ai · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
.PHONY: setup init demo prove api smoke-api agent test lint gates build clean

HOST ?= 127.0.0.1
PORT ?= 8000
AGENT_PORT ?= 8011
PROJECT_ID ?= demo
TARGET_ID ?= local-demo

setup:
	python3 scripts/preflight_setup.py
	uv sync --all-packages --extra dev
	@echo ""
	@echo "RedForge setup complete. Next: make demo"

init:
	uv run redforge init

demo:
	PROJECT_ID=$(PROJECT_ID) TARGET_ID=$(TARGET_ID) ./scripts/demo_mvp.sh
	@echo ""
	@echo "Tip: open the HTML report path printed above first."

prove:
	uv run redforge prove --project-id $(PROJECT_ID) --target-id $(TARGET_ID) --progress

api:
	uv run redforge serve --host $(HOST) --port $(PORT)

smoke-api:
	PROJECT_ID=$(PROJECT_ID) TARGET_ID=$(TARGET_ID) HOST=$(HOST) PORT=$(PORT) ./scripts/smoke_api.sh

agent:
	uv run uvicorn apps.vulnerable_agent.main:app --host $(HOST) --port $(AGENT_PORT)

lint:
	uv run ruff check .

gates:
	uv run python scripts/check_migration_gates.py

test: lint gates
	uv run pytest -q

build:
	uv build --all-packages

clean:
	uv run python scripts/clean_workspace.py