Galedra
Sign in Sign up

Claims

As of snapshot 27745 under ledger-default@0.3.0.

ClaimTypeAssessmentScoreReview checksReferences
Paper2Agent is an automated framework that converts research papers and their associated code, data and workflows into interactive AI agents exposed through MCP servers. OBSERVATIONAL Leans supported 0.7146 1 of 4 121