richashworth — 2 mods

Instructions file

Claude Code instructions for richashworth/tlaplus-mcp, covering claude.md, release, build & test, project structure and conventions.

1 3mo ago A 701 tokens original MIT

MCP server Claude CodeCodexCursor

MCP server for TLA+ toolchain (TLC, SANY, PlusCal, TLATeX). Runs locally from the @richashworth/tlaplus-mcp npm package.

1 3mo ago A tokens not measured copy · 59% MIT