Proof-of-Frog Skill 🐸

proof-of-frog

plurigrid/asi·0installs67stars

SKILL.md

Full skill instructions

Proof-of-Frog Skill 🐸

Trit: 0 (ERGODIC - Coordinator) GF(3) Triad: proof-chain (-1) ⊗ proof-of-frog (0) ⊗ alife (+1) = 0

Overview

Society merge protocol implementing Block Science KOI patterns with frog lifecycle metaphor.

"Eat that frog first thing in the morning" - Brian Tracy

Frog Lifecycle (GF(3) States)

Stage	Trit	Role
🥒 TADPOLE	-1	Learning, absorbing
🐸 FROGLET	0	Transitioning, coordinating
🦎 MATURE FROG	+1	Generating, executing

Core Concepts

Reference IDs (Block Science KOI)

struct ReferenceID {
    local_name: String,      // How THIS society refers to it
    canonical_hash: vector<u8>,  // Universal content hash
    society_origin: address,     // Which pond it came from
}

Knowledge Nugget (The Frog to Eat)

struct KnowledgeNugget {
    rid: ReferenceID,
    trit: i8,           // GF(3) lifecycle stage
    eaten: bool,        // Has this frog been eaten?
    leap_count: u64,    // How many hops to get here
}

Society Merge

Two ponds can merge when:

Both are GF(3) balanced
Shared RIDs exist (common reference points)
Ribbit votes reach quorum

Usage

# Deploy society merge
aptos move publish --named-addresses zubyul=default

# Initialize pond
aptos move run --function-id zubyul::proof_of_frog::spawn_pond

# Eat a frog (process knowledge)
aptos move run --function-id zubyul::proof_of_frog::eat_frog --args u64:0

# Propose merger
aptos move run --function-id zubyul::proof_of_frog::propose_merge --args u64:0 u64:1

WEV Comparison

System	WEV Formula	Result
Legacy	V - 0.5V - costs	0.4V
GF(3)	V + 0.1V - 0.01	1.09V
Advantage		2.7x

Frog Puns

"Hop to it!" - Start processing
"Toadally awesome!" - Merge complete
"Ribbit-ing progress!" - Verification passed
"Leap of faith!" - Cross-world navigation
"Pond-ering success!" - Knowledge integrated

Neighbors

High Affinity

proof-chain (-1): ZK proof chaining
alife (+1): Emergent behavior
world-hopping (0): Cross-world navigation

Example Triad

skills: [proof-of-frog, proof-chain, alife]
sum: (0) + (-1) + (+1) = 0 ✓ TOADALLY BALANCED

References

Block Science KOI - @maboroz @ilanbenmeir
LPSCRYPT proof_chain - @lpscrypt
Brian Tracy - "Eat That Frog!" (productivity)

Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

Graph Theory

networkx [○] via bicomodule
- Universal graph hub

Bibliography References

cryptography: 1 citations in bib.duckdb

Cat# Integration

This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:

Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826

GF(3) Naturality

The skill participates in triads satisfying:

(-1) + (0) + (+1) ≡ 0 (mod 3)

This ensures compositional coherence in the Cat# equipment structure.

Install skill

Copy and run in your terminal

npx -y skills add https://github.com/plurigrid/asi --skill proof-of-frog

View on GitHub

plugins/asi/skills/proof-of-frog/SKILL.md

modern-python
Modern Python best practices. Use when creating new Python projects, and writing Python scripts, or migrating existing projects from legacy tools.
1 installs
ghostty
Control Ghostty terminal emulator via CLI. Manage windows, tabs, splits, and configuration.
0 installs
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
0 installs
wev-verification
WEV Verification Skill
0 installs

More skills from plurigrid

plurigrid/asi

cargo

Rust package manager (36 subcommands).

67 0

View

plurigrid/asi

Translate Figma nodes into production-ready code with 1:1 visual fidelity using the Figma MCP workflow (design context, screenshots, assets, and project-convention translation). Trigger when the user provides Figma URLs or node IDs, or asks to implement designs or components that must match Figma...

67 0

View

plurigrid/asi

StringZilla Operations: 'strings' Skill for Plurigrid ASI

**Status**: 🌳 Production Ready (upstream in StringZilla v3+) **Type**: High-Performance String Operations / SIMD-Accelerated Text Processing **Principle**: Zero-copy views, SIMD/SWAR acceleration, deterministic hashing **Frame**: Cross-language interoperability (C, C++, Python, Rust, Go, Swift, ...

67 0

View

plurigrid/asi

conformal-ga

Conformal Geometric Algebra (CGA) for circles, spheres, and Möbius transformations

67 0

View

plurigrid/asi

spec-to-code-compliance

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

67 0

View

plurigrid/asi

zig-systems

Systems programming and performance optimization using Zig. Provides low-level abstractions, memory-safe compiled code, and performance benchmarking. Use for system-level operations, optimization, and interoperability with C/POSIX APIs.

67 0

View

plurigrid/asi

soliton-detection

Topological soliton detection and agency bridge with anyonic fusion algebra for concept composition

67 0

View

plurigrid/asi

paypal-mcp

PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.

67 0

View

plurigrid/asi

unison

Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refactoring-safe codebases.

67 0

View

plurigrid/asi

tasks-acset

Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.

67 0

View

plurigrid/asi