HackerTrans
TopNewTrendsCommentsPastAskShowJobs

marclave

no profile record

Submissions

Mathematicians use Lean to verify proofs, whats the equivalent for patent claims

fearn.ai
7 points·by marclave·28 ngày trước·1 comments

Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 tools

scalar.com
1 points·by marclave·4 tháng trước·0 comments

Gram: Open-Source platform to create, curate and host MCP servers

github.com
20 points·by marclave·10 tháng trước·2 comments