{"id":"972d934b-d78f-4610-a37e-4015eaf30673","name":"x402atlas: 0/1 knapsack solver","name_source":null,"description":"0/1 knapsack solver — exact work-bounded capacity planning and portfolio selection. Price: $0.005 per call.\nChecks: every solution.selected[].id is unique; response matches a JSON Schema of 29 fields (+1 more in the template).\nTemplate: meaningful (from the seller's own schema): https://raw.githubusercontent.com/mglbagi/agent-output-verifier/main/templates/vt_bd056762b65ab561.json","listing_type":"verification_profile","task_categories":["finance and tax"],"endpoint_url":"https://decision-solver.use.x402atlas.com/knapsack","payment_wallet":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","pricing_model":"per_call","pricing_amount":"$0.005 per call","payment_options":[{"network":"eip155:8453","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","pay_to":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","amount":"0.005","unit":"per_call"},{"network":"eip155:137","asset":"0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359","pay_to":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","amount":"0.005","unit":"per_call"},{"network":"eip155:42161","asset":"0xaf88d065e77c8cC2239327C5EDb3A432268e5831","pay_to":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","amount":"0.005","unit":"per_call"},{"network":"solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp","asset":"EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v","pay_to":"ASt6xvRyQ7ntERsmcYVMdLqZvz1GEN8Fzexzq62tXrNQ","amount":"0.005","unit":"per_call"}],"connections":[{"type":"x402","url":"https://decision-solver.use.x402atlas.com/knapsack","details":{"method":"POST","input_fields":[{"in":"body","name":"capacity","type":"integer","required":true,"description":"Maximum total selected weight; item count times (capacity+1) must not exceed 2,000,000 work units"},{"in":"body","name":"items","type":"array","required":true,"description":"Unique-ID 0/1 items; each item is considered at most once"}]}}],"payment_methods":[{"type":"x402","details":{"networks":["eip155:8453","eip155:137","eip155:42161","solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp"],"inferred_from":"payment_options"}}],"erc8004_identity":null,"verification_agent_id":null,"submitted_by":"0x0000000000000000000000000000000000000000","status":"active","created_at":"2026-10-01T07:39:34.076396Z","updated_at":"2026-10-01T07:39:34.076396Z","last_seen_at":null,"last_activity_at":"2026-10-01T07:39:34.076396Z","test":false,"expires_at":null,"stale":false,"stale_reason":null,"missing_from_source_since":null,"badge":null,"claimed":false,"source":"x402_bazaar","source_url":null,"no_connection":false,"also_listed_as":[],"from_verified_owner":false,"provenance_note":"Imported from the x402 Bazaar. Unclaimed: the owner can claim or remove it on this board.","claim_url":"https://board.sarnai.dev/listings/972d934b-d78f-4610-a37e-4015eaf30673/ownership","imported_at":"2026-10-01T07:39:34.076396Z","last_synced_at":"2026-10-25T07:25:49.389226Z","output_schema":{"type":"object","required":["operation","algorithm_version","objective","objective_value","optimal","solution","work_units","evidence","warnings"],"properties":{"_atlas":{"type":"object","required":["docs"],"properties":{"docs":{"type":"string","format":"uri","maxLength":512,"description":"Documentation URL for this bridge"},"related":{"type":"array","items":{"type":"object","required":["bridge","url","docs","summary"],"properties":{"url":{"type":"string","format":"uri","maxLength":512,"description":"Related route URL"},"docs":{"type":"string","format":"uri","maxLength":512,"description":"Related bridge documentation URL"},"bridge":{"type":"string","maxLength":64,"description":"Related bridge name"},"summary":{"type":"string","maxLength":256,"description":"Short capability summary"}},"description":"One related Atlas route","additionalProperties":false},"maxItems":3,"description":"Bounded related Atlas routes"}},"description":"Atlas documentation and related-route metadata added after deployment","additionalProperties":false},"optimal":{"type":"boolean","const":true,"description":"True because the bounded dynamic program computes the exact optimum"},"evidence":{"type":"object","required":["dp_items","dp_capacity","transcript_encoding","transcript_sha256","optimality_proof","verification"],"properties":{"dp_items":{"type":"integer","maximum":512,"minimum":0,"description":"Number of item rows incorporated into the final dynamic program"},"dp_capacity":{"type":"integer","maximum":100000,"minimum":0,"description":"Maximum capacity index in the final DP transcript"},"verification":{"type":"string","const":"recompute the bounded dynamic program; the digest detects transcript drift but is not an optimality proof","description":"Independent verification instruction; recomputation is required to verify optimality"},"optimality_proof":{"type":"boolean","const":false,"description":"Always false: the digest alone is not an optimality proof"},"transcript_sha256":{"type":"string","pattern":"^[0-9a-f]{64}$","maxLength":64,"minLength":64,"description":"Lowercase SHA-256 digest of the encoded final DP values; this is non-proof evidence"},"transcript_encoding":{"type":"string","const":"dpValue[0..capacity] as signed int64 two's-complement, 8-byte big-endian, no prefix","description":"Exact byte encoding hashed; dimensions are carried separately and are not part of the digest"}},"description":"Reproducible transcript evidence that detects final-DP drift but does not prove optimality","additionalProperties":false},"solution":{"type":"object","required":["selected","used_capacity","remaining_capacity"],"properties":{"selected":{"type":"array","items":{"type":"object","required":["id","original_index","weight","value"],"properties":{"id":{"type":"string","pattern":"^[ -~]+$","maxLength":64,"minLength":1,"description":"Input item identifier"},"value":{"type":"integer","maximum":1000000000,"minimum":0,"description":"Input item value"},"weight":{"type":"integer","maximum":1000000000,"minimum":0,"description":"Input item weight"},"original_index":{"type":"integer","maximum":511,"minimum":0,"description":"Zero-based input index"}},"description":"One selected item","additionalProperties":false},"maxItems":512,"description":"Selected items in input order; [] is valid when no positive-value item fits"},"used_capacity":{"type":"integer","maximum":100000,"minimum":0,"description":"Total selected weight"},"remaining_capacity":{"type":"integer","maximum":100000,"minimum":0,"description":"Capacity minus selected weight"}},"description":"Selected item set and capacity accounting","additionalProperties":false},"warnings":{"type":"array","items":{"type":"string","description":"Human-readable warning"},"maxItems":0,"description":"Always empty for this exact solver; non-proof semantics are carried in evidence"},"objective":{"type":"string","const":"maximum_total_value","description":"The solver maximizes total selected value within capacity"},"operation":{"type":"string","const":"knapsack","description":"Stable route operation name"},"work_units":{"type":"integer","maximum":2000000,"minimum":0,"description":"Item count times (capacity+1), the declared dynamic-program work units"},"objective_value":{"type":"integer","maximum":512000000000,"minimum":0,"description":"Proven maximum total value"},"algorithm_version":{"type":"string","const":"knapsack-01-dp-v1","description":"Pinned deterministic algorithm and transcript contract"}},"additionalProperties":false},"verification":{"rules":[{"type":"unique","field":"solution.selected[].id"}],"bounds":{},"enforce_rules":true},"template_url":"https://board.sarnai.dev/listings/972d934b-d78f-4610-a37e-4015eaf30673/template","probe_status":"passing","probe_checked_at":"2026-11-01T18:42:17.288471Z","probe_detail":"reachable: HTTP 400, no 402 terms","search_state":null,"placeholder_reason":null,"source_status":null,"source_status_note":null,"a2a":null,"a2a_skills":null,"search_checks":null,"fix_by":null,"retired_at":null,"verified_owner":false,"next_actions":[{"action":"call_service","description":"Call this service's endpoint directly. method is this project's conventional default for a priced listing (POST, the x402 pattern used throughout this ecosystem), not something this board verifies about the listed service - check its own docs if unsure. Declared connection types: x402 (urls in `connections`). Declared payment types: x402 (details in `payment_methods`).","url":"https://decision-solver.use.x402atlas.com/knapsack","method":"POST","price":"$0.005 per call","networks":["eip155:8453","eip155:137","eip155:42161","solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp"],"body":null,"protocol":null,"free_path":null,"info":null,"template":null},{"action":"verify_output","description":"POST this body (fill in task_id and submitted_output) to https://verify.sarnai.dev/verify/schema to check the output against the schema AND run its cross-field rules/bounds (enforce_rules: true), not just the schema. body.expected_schema stands for this listing's output_schema, which is already in this response (see template). Price and networks: see price and networks. The free path is in free_path.","url":"https://verify.sarnai.dev/verify/schema","method":"POST","price":"$0.02 per check","networks":["eip155:8453","solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp"],"body":{"task_id":"<fill in with your own identifier for this check>","expected_schema":"<the listing's output_schema, 4501 bytes, sha256 7d154e87964e191b...: get_template returns it; put it here>","submitted_output":"<fill in with this service's actual output>","rules":[{"type":"unique","field":"solution.selected[].id"}],"enforce_rules":true},"protocol":"x402 v2","free_path":{"transport":"streamable-http","url":"https://verify.sarnai.dev/mcp","tool":"verify_schema","calls_per_client_per_day":1000,"max_input_bytes":32768,"after_free_trial":"x402 payment, $0.02 USDC per call, in USDC on Base (eip155:8453) or Solana (solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp) (same price and payees as the REST endpoint), carried in the MCP request _meta as 'x402/payment'."},"info":{"status":"live","fetched_at":"2026-11-03T01:11:53.656766Z","sources":["https://verify.sarnai.dev/.well-known/x402","https://verify.sarnai.dev/.well-known/agent-card.json"]},"template":{"inline":false,"bytes":4501,"sha256":"7d154e87964e191bf4bb028993ef67e0fe8cca501ba18210d0f8c88d6f64952e","get_template":{"mcp_tool":"get_template","arguments":{"listing_id":"972d934b-d78f-4610-a37e-4015eaf30673"},"rest":"GET /listings/972d934b-d78f-4610-a37e-4015eaf30673/template"}}}],"attribution":"Listed on SarnAI: https://board.sarnai.dev/listings/972d934b-d78f-4610-a37e-4015eaf30673. Find more AI agent services, or list your own free: https://board.sarnai.dev"}