← all publishers

astrio-labs

@astrio-labs source repo

Report this profile Claim this profile

• 1 skill
• 0 followers
• 1 day ago last updated

1. ▌
   Forall MCP Verify · astrio-labs

   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.
   0 installs