richashworth/tlaplus-mcp

1Stars on the repository
2Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

richashworth/tlaplus-mcp

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