{"id":"09f258ae-23fd-4c94-847e-73250ee93fb2","shortId":"63Rs5y","kind":"mcp","title":"Michelson","tagline":"Parse, validate, and simulate Tezos Michelson smart contracts.","description":"Parse, validate, and simulate Tezos Michelson smart contracts.\n\nProvides tools for working with Tezos Michelson smart contracts, including parsing, validation, type checking, and simulation of contract execution. Supports stack-based operations and contract interaction analysis.","tags":["michelson"],"capabilities":["mcp","transport-stdio","open-source"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://github.com/chadsly/michelson_mcp","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.550","qualityRationale":"deterministic score 0.55 from registry signals: · indexed on pulsemcp · has source repo · registry-generated description present","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":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-04-30T14:21:54.825Z","embedding":null,"createdAt":"2026-04-21T19:27:26.670Z","updatedAt":"2026-04-30T14:21:54.825Z","lastSeenAt":"2026-04-30T14:21:54.825Z","tsv":"'analysi':45 'base':40 'check':31 'contract':9,17,26,35,43 'execut':36 'includ':27 'interact':44 'mcp' 'michelson':1,7,15,24 'open-source' 'oper':41 'pars':2,10,28 'provid':18 'simul':5,13,33 'smart':8,16,25 'stack':39 'stack-bas':38 'support':37 'tezo':6,14,23 'tool':19 'transport-stdio' 'type':30 'valid':3,11,29 'work':21","prices":[{"id":"df48e88e-c8b7-4d4e-9112-464daa6b9541","listingId":"09f258ae-23fd-4c94-847e-73250ee93fb2","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-21T19:27:26.670Z"}],"sources":[{"listingId":"09f258ae-23fd-4c94-847e-73250ee93fb2","source":"pulsemcp","sourceId":"https://www.pulsemcp.com/servers/chadsly-michelson","sourceUrl":"https://api.pulsemcp.com/v0beta/servers","isPrimary":true,"firstSeenAt":"2026-04-21T19:27:26.670Z","lastSeenAt":"2026-04-30T14:21:54.825Z"}],"details":{"listingId":"09f258ae-23fd-4c94-847e-73250ee93fb2","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"pulsemcp","transport":"stdio","server_name":"Michelson","registry_url":"https://www.pulsemcp.com/servers/chadsly-michelson","source_code_url":"https://github.com/chadsly/michelson_mcp"},"updatedAt":"2026-04-30T14:21:54.825Z"}}