What is the role of Geb in this skill?

Geb serves as the categorical semantics target, allowing Juvix code to be represented as morphisms that can be formally verified and transformed into arithmetic circuits.

Can I use this to generate ZK circuits?

Yes, the skill supports the full compilation pipeline: Juvix Source -> Geb Morphisms -> Vampir IR -> ZK Circuits.

What is Juvix in the context of Anoma?

Juvix is an intent-centric programming language that allows users to express preferences over state transitions, which are then compiled into circuits for solver matching and ZK verification.

What are Obstructions in Juvix intents?

Obstructions represent failures in decomposition (H1 cohomology class > 0), often used in game-theoretic models like 'Hot Potato' to track state-transition barriers.

How does this skill handle GF(3) conservation?

The skill utilizes a type-level GF(3) system (Minus, Ergodic, Plus) to ensure that the sum of triadic charges in a transaction equals zero (mod 3), preserving resource integrity.

Juvix Intent Programming

Name: Juvix Intent Programming
Author: plurigrid

byplurigrid

•

개발자 도구

Develops intent-centric programs for Anoma using Juvix with categorical Geb compilation and GF(3) conservation checks.

This skill provides specialized support for Juvix, the intent-centric programming language for the Anoma network. It enables developers to define preferences over state transitions, manage resource nullification, and perform categorical compilation into Geb morphisms. By leveraging GF(3) triadic arithmetic and spectral gap tracking, the skill ensures type-level conservation and compositional coherence, making it essential for creating zero-knowledge (ZK) proof-compatible intent circuits, handling cohomology obstructions, and implementing VCG mechanism payments within decentralized ecosystems.

주요 기능

012 GitHub stars

02Models intent preferences over state transitions (Nullify/Commit patterns)

03Compiles Juvix source to Geb categorical semantics and Vampir IR

04Calculates VCG externality payments for resource-based games

05Implements GF(3) trit arithmetic for type-level resource conservation

06Provides obstruction detection and spectral gap tracking for graph-based logic

사용 사례

01Implementing cross-chain resource passing with verified triadic charge balance

02Developing decentralized games using the Obstruction Monad and Hot Potato logic

03Building ZK-proof compatible intents for the Anoma network

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi juvix-intents

For use in Claude.ai and ChatGPT

Download Skill