{"entity":"company","company":{"id":41745,"name":"Ocamlpro","domain":"ocamlpro.com","logo":"https://alion.io/storage/2026/0824/d35b7f1fdb.256.webp","description":"OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.","industry":"Software","segment":"Custom Software Development","size":null,"founded":null,"hq":null,"links":{"linkedin":"https://www.linkedin.com/company/2152404","x":"https://x.com/ocamlpro"},"hiring_now":false,"url":"https://alion.io/company/ocamlpro","open_jobs":0},"pages":{"profile":"https://alion.io/company/ocamlpro","jobs":"https://alion.io/company/ocamlpro/jobs","technologies":"https://alion.io/company/ocamlpro/technologies","salaries":"https://alion.io/company/ocamlpro/salaries","visa":"https://alion.io/company/ocamlpro/visa"},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","call":{"mcp_tool":"get_company","arguments":{"id":41745},"rest":"https://alion.io/mcp/rest/get_company?id=41745"},"human":"https://alion.io/catalog?offer=company.slices&for=company%2Focamlpro"},{"id":"company.list","title":"Companies by industry, country, size, technology and hiring","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per company in a list","note":"companies like this one: the same industry segments, technologies, country and size","call":{"mcp_tool":"similar_companies","arguments":{"company":41745},"rest":"https://alion.io/mcp/rest/similar_companies?company=41745"},"human":"https://alion.io/catalog?offer=company.list&for=company%2Focamlpro"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","call":{"mcp_tool":"search_jobs","arguments":{"company":41745},"rest":"https://alion.io/mcp/rest/search_jobs?company=41745"},"human":"https://alion.io/catalog?offer=job.search&for=company%2Focamlpro"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"company/ocamlpro\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=company%2Focamlpro"}],"html_url":"https://alion.io/company/ocamlpro","json_url":"https://alion.io/company/ocamlpro.json","meta":{"generated_at":"2026-10-18T03:34:09Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":5593,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-19T00:00:00Z"}}}