autonomous-agent-readiness | formal-verify | ClaudePluginHub