{"name":"ldbeth-applied-pl-applied-pl","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"ldbeth-applied-pl-applied-pl","source":{"source":"git-subdir","url":"https://github.com/ldbeth/cc-deno-plugins","path":"applied-pl"},"description":"Apply programming language theory techniques for program verification, derivation, and optimization. Includes equational reasoning for functional program simplification and Hoare logic for imperative program verification.","version":"1.1.0","strict":true,"keywords":[],"category":"development"}]}