docs: rewrite README with correct name, PyPI badges, and demo #6

	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	permissions:
	contents: read

	jobs:
	lint:
	name: Lint
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- name: Install dependencies
	run: pip install -e ".[dev]"
	- name: Ruff check
	run: ruff check src/ tests/
	- name: Ruff format check
	run: ruff format --check src/ tests/

	typecheck:
	name: Type Check
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- name: Install dependencies
	run: pip install -e ".[dev]"
	- name: Mypy
	run: mypy src/vericode/

	test:
	name: Test (Python ${{ matrix.python-version }})
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	python-version: ["3.11", "3.12"]
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: pip install -e ".[dev]"
	- name: Run tests
	run: pytest --tb=short -q
	- name: Run tests with coverage
	run: pytest --cov=vericode --cov-report=term-missing --tb=short -q

Provide feedback