Local executable Agent Plugins proof, with one skill and one stdio tool.
Identify the local Agent Plugins end-to-end proof package.
