{"owner":"imandra-ai","github":"https://github.com/imandra-ai","claimed":false,"inventory":[],"indexed":[{"repo":"imandra-ai/catapult","github":"https://github.com/imandra-ai/catapult","description":"Tracing library for OCaml with catapult/TEF export.","language":"OCaml","stars":10,"topics":["catapult","tracing","ocaml","profiling"],"license":null,"category":"analytics"}],"how_to_buy":"GET /r/imandra-ai/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}