{"_id":"@apoth3osis/agentpmt-atp-mcp","_rev":"2-b45433122601962eb60240b85d1397ee","name":"@apoth3osis/agentpmt-atp-mcp","dist-tags":{"latest":"0.1.1"},"versions":{"0.1.0":{"name":"@apoth3osis/agentpmt-atp-mcp","version":"0.1.0","keywords":["agentpmt","mcp","lean","atp","cab"],"license":"Apache-2.0","_id":"@apoth3osis/agentpmt-atp-mcp@0.1.0","maintainers":[{"name":"firef1ie","email":"sgoodman@apoth3osis.io"}],"bin":{"agentpmt-atp-mcp":"bin/agentpmt-atp-mcp.js"},"dist":{"shasum":"0580ef778e8533bf647690b70eb5371f1bd164be","tarball":"https://registry.npmjs.org/@apoth3osis/agentpmt-atp-mcp/-/agentpmt-atp-mcp-0.1.0.tgz","fileCount":27,"integrity":"sha512-La6bNAqzm0I6+vR0YZjifkp6P6vQ9x++qu5GLlEL57OhHbGNRowYPn61woq85DXZ3pHBFXlcGBOGR/+z8/VRiQ==","signatures":[{"sig":"MEUCIEVtWHyNSGveNauA9xanWP3Zg/D+iEZyB+efDbo+1TdvAiEA0pmeHfsIs6W+YZGFy2J0ZuB5XDxIXQtWBcJtGOKMric=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":24671},"type":"module","engines":{"node":">=18"},"gitHead":"2ec286dd740d04b2f5fea68ca0894d49288a408d","_npmUser":{"name":"firef1ie","email":"sgoodman@apoth3osis.io"},"_npmVersion":"10.9.4","description":"AgentPMT ATP MCP scaffolding: local proof-first tool pack, solver skill templates, and challenge schemas.","directories":{},"_nodeVersion":"22.22.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/agentpmt-atp-mcp_0.1.0_1771387413550_0.21149800318520895","host":"s3://npm-registry-packages-npm-production"}},"0.1.1":{"name":"@apoth3osis/agentpmt-atp-mcp","version":"0.1.1","description":"AgentPMT ATP MCP scaffolding: local proof-first tool pack, solver skill templates, and challenge schemas.","type":"module","bin":{"agentpmt-atp-mcp":"bin/agentpmt-atp-mcp.js"},"keywords":["agentpmt","mcp","lean","atp","cab"],"license":"Apache-2.0","engines":{"node":">=18"},"_id":"@apoth3osis/agentpmt-atp-mcp@0.1.1","gitHead":"2ec286dd740d04b2f5fea68ca0894d49288a408d","_nodeVersion":"22.22.0","_npmVersion":"10.9.4","dist":{"integrity":"sha512-YdIKVu+1wgEiM61UElpQjU8m5mNDCq6TjEYDf5OLD+3jXI8wXIGpsb+PFO3nuP/ZjrnqjvBNBegScCsiRqgYzQ==","shasum":"252270bec1ab469bded5050c909c4456389af773","tarball":"https://registry.npmjs.org/@apoth3osis/agentpmt-atp-mcp/-/agentpmt-atp-mcp-0.1.1.tgz","fileCount":27,"unpackedSize":24671,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEYCIQC9ra42MCwu8skH4eAqVSrizcXvHDZiVvAhz/CnCRijdwIhAPEPbS+1haUZNJjTnClVAsgyi44GxxBR71Aqb52AhpuS"}]},"_npmUser":{"name":"firef1ie","email":"sgoodman@apoth3osis.io"},"directories":{},"maintainers":[{"name":"firef1ie","email":"sgoodman@apoth3osis.io"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/agentpmt-atp-mcp_0.1.1_1771387449132_0.5910685013949377"},"_hasShrinkwrap":false}},"time":{"created":"2026-02-18T04:03:33.449Z","modified":"2026-02-18T04:04:09.381Z","0.1.0":"2026-02-18T04:03:33.698Z","0.1.1":"2026-02-18T04:04:09.274Z"},"license":"Apache-2.0","keywords":["agentpmt","mcp","lean","atp","cab"],"description":"AgentPMT ATP MCP scaffolding: local proof-first tool pack, solver skill templates, and challenge schemas.","maintainers":[{"name":"firef1ie","email":"sgoodman@apoth3osis.io"}],"readme":"# @apoth3osis/agentpmt-atp-mcp\n\nLocal-first MCP packaging kit for AgentPMT ATP workflows.\n\nThis package provides:\n\n- a constrained proof-first MCP tool allowlist (`packs/proof_local_verify_pack_v1.json`),\n- solver skill templates for ATP jobs,\n- challenge/submission JSON schemas,\n- a CLI to scaffold posting packs for local agent runtimes.\n\n## Install\n\n```bash\nnpm install -g @apoth3osis/agentpmt-atp-mcp\n```\n\n## CLI\n\n```bash\nagentpmt-atp-mcp print-config\nagentpmt-atp-mcp scaffold --out ./agentpmt_atp_pack\n```\n\n## AgentPMT Router Integration\n\nUse AgentPMT MCP router with your bearer token:\n\n```bash\nnpx -y @agentpmt/mcp-router@latest agentpmt-router\n```\n\nSuggested local-first guardrail:\n\n1. Run local proof checks with this pack.\n2. Submit to hosted verifier endpoint only after local checks pass.\n\n## Included Assets\n\n- `packs/proof_local_verify_pack_v1.json`\n- `templates/SKILL_AGENTPMT_ATP_SOLVER.md`\n- `templates/SKILL_AGENTPMT_BYZANTINE_LATTICE_SOLVER.md`\n- `schemas/agentpmt_atp_challenge_v1.schema.json`\n- `schemas/agentpmt_atp_submission_v1.schema.json`\n- `examples/byzantine_lattice_v1/challenge_manifest.json`\n- `examples/byzantine_lattice_v1/submission_payload_example.json`\n- `examples/byzantine_lattice_v1/visuals/challenge_dag.mmd`\n- `examples/byzantine_lattice_v1/visuals/challenge_dag.dot`\n- `examples/byzantine_lattice_v1/visuals/proof_graph_context.md`\n- `examples/byzantine_lattice_v1/visuals/proof_graph_edges.csv`\n\n\n## Publish (Maintainer)\n\n```bash\nnpm login\nnpm whoami\nnpm publish --access public\n```\n\nIf you see `ENEEDAUTH`, authenticate first (`npm login`) or configure an npm token in `.npmrc`.\n\n## Install Without Registry Publish\n\n```bash\nnpm pack\nnpm install -g ./apoth3osis-agentpmt-atp-mcp-0.1.0.tgz\n```\n","readmeFilename":"README.md"}