{"id":"ini-to-json","version":"1.0.0","description":"Convert an INI string to a JSON object.","supported_operations":["ini to json","parse ini","convert ini to json"],"unsupported_operations":["json to ini","read files","fetch urls"],"semantics":["Parses INI syntax and returns the equivalent JSON representation.","Coerces \"true\", \"false\", and \"null\" literals into JSON types; numbers remain strings.","Duplicate keys silently take the last defined value.","Prototype injection keys (e.g. __proto__) are safely dropped."],"limits":{"max_input_bytes":262144},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"required":["ini"],"properties":{"ini":{"type":"string","maxLength":262144}}},"output_schema":{"type":"object"},"examples":[{"input":{"ini":"name=Ada\ncity=London"},"output":{"name":"Ada","city":"London"}}],"execute_url":"/v1/tools/ini-to-json/versions/1.0.0/execute"}