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 评论