{"name":"fstarlang-proof-copilot-plugins-proof-copilot","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"fstarlang-proof-copilot-plugins-proof-copilot","source":{"source":"github","repo":"fstarlang/proof-copilot"},"description":"F* proof-oriented programming agent and verification skills for Claude Code","version":"0.0.6","strict":true,"keywords":["fstar","verification","proof","formal-methods"],"category":"development"}]}