@apoth3osis/agentpmt-atp-mcp
v0.1.1
Published
AgentPMT ATP MCP scaffolding: local proof-first tool pack, solver skill templates, and challenge schemas.
Readme
@apoth3osis/agentpmt-atp-mcp
Local-first MCP packaging kit for AgentPMT ATP workflows.
This package provides:
- a constrained proof-first MCP tool allowlist (
packs/proof_local_verify_pack_v1.json), - solver skill templates for ATP jobs,
- challenge/submission JSON schemas,
- a CLI to scaffold posting packs for local agent runtimes.
Install
npm install -g @apoth3osis/agentpmt-atp-mcpCLI
agentpmt-atp-mcp print-config
agentpmt-atp-mcp scaffold --out ./agentpmt_atp_packAgentPMT Router Integration
Use AgentPMT MCP router with your bearer token:
npx -y @agentpmt/mcp-router@latest agentpmt-routerSuggested local-first guardrail:
- Run local proof checks with this pack.
- Submit to hosted verifier endpoint only after local checks pass.
Included Assets
packs/proof_local_verify_pack_v1.jsontemplates/SKILL_AGENTPMT_ATP_SOLVER.mdtemplates/SKILL_AGENTPMT_BYZANTINE_LATTICE_SOLVER.mdschemas/agentpmt_atp_challenge_v1.schema.jsonschemas/agentpmt_atp_submission_v1.schema.jsonexamples/byzantine_lattice_v1/challenge_manifest.jsonexamples/byzantine_lattice_v1/submission_payload_example.jsonexamples/byzantine_lattice_v1/visuals/challenge_dag.mmdexamples/byzantine_lattice_v1/visuals/challenge_dag.dotexamples/byzantine_lattice_v1/visuals/proof_graph_context.mdexamples/byzantine_lattice_v1/visuals/proof_graph_edges.csv
Publish (Maintainer)
npm login
npm whoami
npm publish --access publicIf you see ENEEDAUTH, authenticate first (npm login) or configure an npm token in .npmrc.
Install Without Registry Publish
npm pack
npm install -g ./apoth3osis-agentpmt-atp-mcp-0.1.0.tgz