{
"message": "We're making roadmaps and PRDs (and will soon be building) open-source tools for autoformalization of software. We think all AI-generated software should come with a formal specification and proof that the code meets the spec!"
}
{
"message": "We're making roadmaps and PRDs (and will soon be building) open-source tools for autoformalization of software. We think all AI-generated software should come with a formal specification and proof that the code meets the spec!"
}
Called method: 'assert_can_apply_callback' in contract: ai.v1…tlock.near
Arguments:
{
"project_id": "d50d4cd1affe7f1a2b9118001d42a1665307ded5a7216d68e84d9431d6ae1be9",
"message": "We're making roadmaps and PRDs (and will soon be building) open-source tools for autoformalization of software. We think all AI-generated software should come with a formal specification and proof that the code meets the spec!",
"deposit": 3.27e+22
}
Result:
{
"project_id": "d50d4cd1affe7f1a2b9118001d42a1665307ded5a7216d68e84d9431d6ae1be9",
"message": "We're making roadmaps and PRDs (and will soon be building) open-source tools for autoformalization of software. We think all AI-generated software should come with a formal specification and proof that the code meets the spec!",
"status": "Pending",
"submitted_at": 1714495382468,
"updated_at": null,
"review_notes": null
}