manual-testing | formal-verify | ClaudePluginHub