Mathematicians use Lean to verify proofs, whats the equivalent for patent claimsfearn.ai7 points·by marclave·قبل 28 يومًا·1 comments
Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 toolsscalar.com1 points·by marclave·قبل 4 أشهر·0 comments
Gram: Open-Source platform to create, curate and host MCP serversgithub.com20 points·by marclave·قبل 10 أشهر·2 comments