Mathematicians use Lean to verify proofs, whats the equivalent for patent claimsfearn.ai7 points·by marclave·hace 29 días·1 comments
Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 toolsscalar.com1 points·by marclave·hace 4 meses·0 comments
Gram: Open-Source platform to create, curate and host MCP serversgithub.com20 points·by marclave·hace 10 meses·2 comments
Show HN: Turn OpenAPI documents to LLM friendly Markdowngithub.com6 points·by marclave·el año pasado·0 comments
Show HN: Steel.dev – An open-source browser API for AI agents and appsgithub.com114 points·by marclave·hace 2 años·52 comments
marclave·el año pasado·discussGet paid how and where you want—let your customer pay the way that works for them. Receive payments straight to your wallet or bank account. For businesses/freelancers globally.
marclave·hace 2 años·discusstheyre using scalar :)https://scalar.com https://github.com/scalar/scalar(disclaimer: im the co-founder & ceo of scalar)