{"name":"adacore-adacore-skills","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"adacore-adacore-plugins-adacore","source":{"source":"github","repo":"adacore/skills"},"description":"AdaCore agent skills for Ada and SPARK development: Alire (package management), GNATprove (SPARK formal verification), GNATfuzz (coverage-guided fuzzing), and GNATtest (unit testing).","version":"0.1.0","strict":true,"keywords":[],"category":"development"}]}