Mathematicians use Lean to verify proofs, whats the equivalent for patent claimsfearn.ai7 ポイント·投稿者 marclave·28 日前·1 コメント
Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 toolsscalar.com1 ポイント·投稿者 marclave·4 か月前·0 コメント
Gram: Open-Source platform to create, curate and host MCP serversgithub.com20 ポイント·投稿者 marclave·10 か月前·2 コメント