Transform Google Docs/Sheets documents into ACSet-condensed GF(3)-typed Interaction models.
npx skills add https://github.com/plurigrid/asi --skill docs-acset
Please help me install this Agent Skill. Skill: docs-acset Source: https://github.com/plurigrid/asi/tree/main/skills/docs-acset Command: npx skills add https://github.com/plurigrid/asi --skill docs-acset
This Skill applies ACSet-inspired GF(3) typing to Google Docs/Sheets, transforming edits, comments, and cells into a structured, conservation-based workflow.
Create a DocsACSet instance for a Google Doc, perform a sample edit, add a comment, and observe the condensed state.
High-intent search queries and answers about installing and using this skill.
docs-acset transforms Google Docs/Sheets documents into an ACSet-condensed GF(3)-typed interaction model, mapping edits, comments, and cells into a conservation-based workflow with triadic verb typing for governance and saturation detection when all comments resolve.
GF(3) verb typing maps document actions to triadic trits for governance, enabling structured classification of edits and comments in Docs/Sheets workflows under a trit-based role system that tracks state changes and interaction patterns.
Yes, docs-acset detects saturation by monitoring when all comments in a document are resolved, condensing the comment state into the ACSet schema and enabling verification of workflow completion through Narya-like proofs.
docs-acset uses ANIMA verification principles with Narya-like proofs to ensure consistency across all actions tracked in the DocsACSet schema, validating that edits and comment states satisfy the GF(3)-typed interaction model.
Individual edit tracking logs changes; ACSet-based modeling condenses documents into structured schemas that preserve conservation principles, enabling saturation detection, role-based governance through trit values, and formal verification across the entire workflow state.
thktAccess Google Sheets and Docs data via the gcloud CLI.
plurigridConvert Google Drive files, folders, permissions, and revisions into typed Interactions with triadic queue routing.
plurigridTransform Gmail messages into GF(3)-typed Interactions using the GmailACSet schema.
plurigridFormalize Buber's I-Thou, I-It, We triad using category theory and HoTT syntax.
