{"name":"richashworth-tlaplus-workflow","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"richashworth-tlaplus-workflow","source":{"source":"github","repo":"richashworth/tlaplus-workflow"},"description":"Hide TLA+ formal verification behind a conversational interface. Specialist agents extract, specify, review, verify, and test stateful system designs without exposing formal notation.","version":"0.1.0","strict":true,"keywords":[],"category":"testing"}]}