用途：面向范畴论数据库设计与DPO（双推）重写，将模式视为小范畴C、实例视为函子X: C → Set，用于结构化数据的建模与变换。
主要能力：一是模式定义，如用Catlab.jl的@present与@acset_type定义图模式（V、E、src、tgt）及实体-子类型层级；二是DPO重写，按L←K→R模式定义规则（L匹配、K保留、R替换），通过make_rule、get_matches、rewrite_match应用；三是自博弈循环，Query→Execute→Evaluate→Mine Patterns→Refine迭代，含收敛判据（近10个模式得分标准差低于阈值）；四是GF(3)集成，将图元素映射为trit并检查守恒，参与协同三元组与STRUCTURAL等正交束。
使用方式：提供just命令，如just acset-schema FILE显示模式图、just acset-instance FILE显示实例、just acset-morphism F G显示同态、just acset-rule RULE STATE应用重写、just acset-matches查找匹配、just acset-chain链式重写、just acset-selfplay运行自精化、just acset-patterns挖掘模式、just acset-converge运行至收敛、just acset-trits STATE SEED着色、just acset-gf3检查守恒、just acset-triads显示协同三元组。
适用场景：范畴论数据库设计、图变换、知识表示与规划、模式验证与生成等。
限制：资料未提供安装步骤、依赖版本、性能数据、收费信息与平台支持范围；具体API行为需以AlgebraicJulia相关库文档为准。