{"name":"smucclaw-l4-computational-law","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"smucclaw-l4-computational-law","source":{"source":"github","repo":"smucclaw/l4-ide"},"description":"L4 programming language for computational law - encode contracts, regulations, and policies as executable, testable, verifiable programs","version":"0.1.0","strict":true,"keywords":["legal","law","computational-law","contracts","regulations","formal-methods","verification","functional-programming"],"category":"development"}]}