직업 분류
소프트웨어 개발자
설명
Run hosted Forall verification via MCP (forall_verify, status, cancel, explain) without the Forall CLI. Use after authoring .forall mapping and proof contracts, or whenever the user asks to check / re-verify a project with the hosted Forall MCP server.
원문 언어: 영어
업데이트