astrio-labs

Perfil de criador do GitHub

astrio-labs

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/astrio-labs maior repositório: forall

skills coletadas

1

repositórios

1

atualizado

3 de ago. de 2026

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

1 skills · 3 de ago. de 2026

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills71439atualizado 3 de ago. de 2026

100% do criador

skill

ocupação

descrição

atualizado

forall-mcp-verify

Desenvolvedores de software

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.

3 de ago. de 2026

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos