{"id":"705e1648-3a42-48a4-a894-cbe86ce5c6c7","shortId":"PHqqjL","kind":"x402","title":"Blockchain security: smart contract audit frameworks, common vulnerability patterns, formal verification tools and incid","tagline":"Blockchain security: smart contract audit frameworks, common vulnerability patterns, formal verification tools and incid","description":"Blockchain security: smart contract audit frameworks, common vulnerability patterns, formal verification tools and incid","tags":[],"capabilities":["x402-eip155:8453"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://orbisapi.com/proxy/blockchain-security-api-59a1ff/formal","protocol":"x402","transport":"http","auth":{"type":"x402","details":[{"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"name":"USD Coin","version":"2"},"payTo":"0x2bb72231EeD303cc91a462A1fA738b42B6a9ac6d","amount":"4000","scheme":"exact","network":"eip155:8453","mimeType":"application/json","resource":{"url":"https://orbisapi.com/proxy/blockchain-security-api-59a1ff/formal"},"description":"Blockchain security: smart contract audit frameworks, common vulnerability patterns, formal verification tools and incid","maxTimeoutSeconds":60}]},"qualityScore":"0.000","qualityRationale":null,"verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":null,"enrichmentVersion":1,"enrichedAt":null,"embedding":null,"createdAt":"2026-05-03T19:05:13.324Z","updatedAt":"2026-06-02T18:33:07.414Z","lastSeenAt":"2026-06-02T18:33:07.414Z","tsv":"'audit':5,19,33 'blockchain':1,15,29 'common':7,21,35 'contract':4,18,32 'formal':10,24,38 'framework':6,20,34 'incid':14,28,42 'pattern':9,23,37 'secur':2,16,30 'smart':3,17,31 'tool':12,26,40 'verif':11,25,39 'vulner':8,22,36 'x402-eip155:8453'","prices":[{"id":"75919ee9-d08f-460e-9c93-be66ec9b6b77","listingId":"705e1648-3a42-48a4-a894-cbe86ce5c6c7","amountUsd":null,"unit":"per_call","nativeCurrency":"USD COIN","nativeAmount":null,"chain":"base","payTo":"0x2bb72231EeD303cc91a462A1fA738b42B6a9ac6d","paymentMethod":"x402-usd coin","isPrimary":true,"details":{"scheme":"exact","mime_type":"application/json","accepts_all":[{"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","extra":{"name":"USD Coin","version":"2"},"payTo":"0x2bb72231EeD303cc91a462A1fA738b42B6a9ac6d","amount":"4000","scheme":"exact","network":"eip155:8453","mimeType":"application/json","resource":{"url":"https://orbisapi.com/proxy/blockchain-security-api-59a1ff/formal"},"description":"Blockchain security: smart contract audit frameworks, common vulnerability patterns, formal verification tools and incid","maxTimeoutSeconds":60}],"asset_contract":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","max_timeout_seconds":60},"createdAt":"2026-05-03T19:05:13.324Z"}],"sources":[{"listingId":"705e1648-3a42-48a4-a894-cbe86ce5c6c7","source":"x402_bazaar","sourceId":"https://orbisapi.com/proxy/blockchain-security-api-59a1ff/formal","sourceUrl":"https://api.cdp.coinbase.com/platform/v2/x402/discovery/resources","isPrimary":true,"firstSeenAt":"2026-05-03T19:05:13.324Z","lastSeenAt":"2026-06-02T18:33:07.414Z"}],"details":null}