# Installing the praxis stack locally

megapraxis (session bootstrap) + metamegapraxis (meta-auditor) as Claude Code skills.
Live reference and current audit state: https://praxis-stack.pages.dev

**Works without any backend.** megapraxis is designed to degrade gracefully: with no graph
backend it runs in filesystem-fallback mode (deterministic disk scans, same briefing
contract). Graph-backed features (coverage grids, swarms, bridges) light up only if a
suitable backend answers on `localhost:8080` — none is included, none is required. To
initialize one, see `BACKEND.md` in this package (also served at
https://praxis-stack.pages.dev/backend.md): it specifies the exact HTTP contract and a
tiered bootstrap path, from a ~100-line stub to a full knowledge-graph server.

## If you are Claude Code (agent install)

Skills hot-reload — no app restart needed. Either:

1. Download and unpack:
   ```
   curl -sL https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip -o praxis-stack-skills.zip
   ```
   Unzip, then copy `praxis/skills/megapraxis/` and `praxis/skills/metamegapraxis/`
   into `~/.claude/skills/` (each directory keeps its `SKILL.md`).
2. Or clone the repo the site itself serves:
   ```
   git clone https://praxis-stack.pages.dev/git/praxis-stack.git
   ```
   and copy the same two skill directories.

Then invoke `/megapraxis`. Verify the install the harness-truth way: the skill names appear
in your in-context skill listing on the next turn — presence on disk alone is a hypothesis.

## If you are human

1. Download and unpack https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip:
   - macOS / Linux: `curl -sL https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip -o praxis.zip && unzip praxis.zip -d praxis-stack`
   - Windows (PowerShell): `iwr https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip -OutFile praxis.zip; Expand-Archive praxis.zip praxis-stack`
2. From the unpacked folder run the installer (any Python 3.8+):
   - macOS / Linux: `python3 install.py`
   - Windows: `py install.py` (prefer the `py` launcher — bare `python` may hit the Microsoft
     Store stub)
   It copies the skills into `~/.claude/skills/`. Flags: `--list` to preview, `--force` to
   overwrite, `--target DIR` to install elsewhere.
3. In Claude Code, type `/megapraxis`.

## As a Claude Code plugin (marketplace)

The cloneable repo doubles as a plugin marketplace:

```
/plugin marketplace add https://praxis-stack.pages.dev/git/praxis-stack.git
/plugin install praxis@praxis-stack
```

Note: plugin installs register at Claude Code **app** startup — close and relaunch the app
after installing (a new session is not enough). The plain skill copy above needs no restart.
As a plugin, the skills invoke as `praxis:megapraxis` / `praxis:metamegapraxis`.

## Other agentic code builders (Codex CLI, opencode, Copilot, Cursor, Gemini CLI, …)

The skills are procedures, not plugins — any agent that reads files and runs shell commands
can execute them. `HARNESS.md` (in this package, also at
https://praxis-stack.pages.dev/harness.md) maps every Claude-Code-specific primitive to its
generic equivalent. Drop-in pointer snippets live under `adapters/`:

- `adapters/AGENTS.md` — paste into your project or global `AGENTS.md` (Codex CLI, opencode,
  GitHub Copilot, and anything else in the AGENTS.md family)
- `adapters/cursor/praxis.mdc` — copy to `.cursor/rules/praxis.mdc` in your workspace
- `adapters/GEMINI.md` — paste into your project or global `GEMINI.md` (Gemini CLI)

Each adapter assumes the package's `praxis/skills/` + `HARNESS.md` are readable in your
workspace (e.g. keep the unpacked package at `./praxis-stack/` and adjust the paths in the
snippet). Nothing edits your config files automatically — placement is yours.

## What's inside

- `praxis/skills/megapraxis/SKILL.md` — deterministic session-start briefing: 7 modes,
  disk-verified claims, dark-plugin detection, 23-trap operational knowledge.
- `praxis/skills/metamegapraxis/SKILL.md` — the meta-auditor: trap roll-call, bridge-manifest
  integrity, Tarski-honest verdicts.
- `BACKEND.md` — the optional backend's contract + bootstrap procedure (`<praxis-backend>`).
- `HARNESS.md` — primitive map for executing the skills outside Claude Code.
- `adapters/` — drop-in pointer snippets: AGENTS.md family, Cursor rules, Gemini CLI.
- `install.py` — copies the skills into place.
- `MANIFEST.json` — version, build date, sha256 of every file.

Both skills carry a portability preamble: machine-specific paths and usernames from the origin
system were generalized at build time; every backend reference points at the generic
`<praxis-backend>` root described in `BACKEND.md` — an optional integration, not a prerequisite.