tla-specification

• [Claude Code](https://code.claude.com) installed
• Python 3.13+ (for spaCy-based operations)
• Node.js 18+ (for markdown linting)

Node.js Version Manager (fnm)

[fnm](https://github.com/Schniz/fnm) (Fast Node Manager) is the recommended Node.js version manager for this project. It:

• Works natively in Git Bash (unlike nvm-windows which has [known issues](https://github.com/coreybutler/nvm-windows/wiki/Common-Issues))
• Is significantly faster than nvm-windows (Rust-based)
• Has cross-platform consistency (Windows/macOS/Linux)

Install fnm:

```bash

# Windows (PowerShell as Admin)

winget install Schniz.fnm

# macOS/Linux

curl -fsSL https://fnm.vercel.app/install | bash

```

Configure for Git Bash (add to ~/.bashrc):

```bash

eval "$(fnm env --use-on-cd --shell bash)"

```

Or source the setup script which includes fnm initialization:

```bash

source "/path/to/claude-code-plugins/setup/bashrc-claude.sh"

```

Install Node:

```bash

fnm install 24

fnm default 24

```

Install Dependencies

```bash

npm install

```

Run Markdown Linting

```bash

npm run lint:md # Check for errors

npm run lint:md:fix # Auto-fix errors

```

CI

Markdown linting runs automatically on PRs via GitHub Actions. The same rules apply locally and in CI.

```bash

/plugin install claude-ecosystem@claude-code-plugins

/plugin install code-quality@claude-code-plugins

/plugin install google-ecosystem@claude-code-plugins

```

This repo expects Codex CLI configuration to live in user scope under ~/.codex.

See .codex/README.md for the canonical locations.

| Plugin | Purpose |

| ------ | ------- |

| [atlassian](plugins/atlassian/) | Atlassian MCP server: Jira, Confluence, Compass integration |

| [browser-automation](plugins/browser-automation/) | Browser automation MCP servers: Chrome DevTools, Playwright |

| [business-analysis](plugins/business-analysis/) | BABOK techniques: capability mapping, stakeholder analysis, value streams, journey mapping |

| [ci-cd](plugins/ci-cd/) | CI/CD pipelines: GitHub Actions, deployment automation, release management |

| [claude-code-observability](plugins/claude-code-observability/) | Event logging, metrics, session diagnostics |

| [claude-ecosystem](plugins/claude-ecosystem/) | Claude Code docs, meta-skills, hooks, observability, auditors |

| [code-quality](plugins/code-quality/) | Code review, markdown linting, debugging, CI/CD templates |

| [compliance-planning](plugins/compliance-planning/) | Regulatory compliance: GDPR, HIPAA, PCI-DSS, AI governance, ISO 27001 |

| [content-management-system](plugins/content-management-system/) | Headless CMS architecture: content modeling, taxonomies, media, theming |

| [cursor-ecosystem](plugins/cursor-ecosystem/) | Cursor IDE docs, CLI, agent, keyword-based search |

| [documentation-standards](plugins/documentation-standards/) | Technical docs: arc42, C4 model, ADRs, RFC process, docs-as-code |

| [dotnet](plugins/dotnet/) | .NET 10+ automation: build, clean, SDK/tool install, version upgrades, Aspire MCP |

| [duende-ecosystem](plugins/duende-ecosystem/) | Duende IdentityServer, BFF, IdentityModel docs |

| [enterprise-architecture](plugins/enterprise-architecture/) | TOGAF, Zachman, ADRs, cloud alignment |

| [event-modeling](plugins/event-modeling/) | Event-driven design: Event Modeling, Event Storming, CQRS, sagas |

| [figma](plugins/figma/) | Figma MCP server: design context, code generation, design tokens |

| [formal-specification](plugins/formal-specification/) | Formal methods: UML/SysML, TLA+, OpenAPI/AsyncAPI, state machines |

| [git](plugins/git/) | Git config, GPG signing, hooks, GitHub issues, history exploration |

| [google-ecosystem](plugins/google-ecosystem/) | Gemini CLI docs, Claude-to-Gemini integration, configuration management