astrio-labs/forall

SkillsMP has collected 1 skills from astrio-labs/forall. Open a skill to review its source and details.

astrio-labs profile View on GitHub

Latest recorded source activity: August 3, 2026 at 17:59

SkillsMP catalog refreshed: August 23, 2026 at 20:39

skills collected: 1

GitHub stars: 714
GitHub forks: 39

Skills in this repository

Software Developers

1 occupation categories · 100% classified

skill

occupation

description

updated

forall-mcp-verify

Software Developers

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.

2026-08-03

Showing 1 of 1 collected skills.