Mathematicians use Lean to verify proofs, whats the equivalent for patent claimsfearn.ai 7marclave2mo1 comment
Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 toolsscalar.com 1marclave5modiscuss
Gram: Open-Source platform to create, curate and host MCP serversgithub.com/speakeasy-api 20marclave1y2 comments
Show HN: Steel.dev – An open-source browser API for AI agents and appsgithub.com/steel-dev 114marclave1y52 comments
Show HN: Scalasaurus – Open API / Swagger API References for Docusuarusgithub.com/scalar 8marclave2ydiscuss