{"name":"baptistecaille-algo-math-structurer-plugins-algo-math-structurer","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"baptistecaille-algo-math-structurer-plugins-algo-math-structurer","source":{"source":"github","repo":"baptistecaille/research-plugin"},"description":"Transform Python algorithm code into formal mathematical documents with proofs, exported as compilable LaTeX and compiled to PDF.","version":"0.1.0","strict":true,"keywords":["mathematics","latex","formal-proofs","algorithms","python","proofs"],"category":"utilities"}]}