What is the primary purpose of the Triangle Metrics skill?

It serves as an ergodic synthesizer that unifies different triangle inequality implementations into a single, consistent metric space for AI agents.

What databases does Triangle Metrics integrate with?

It integrates with DuckLake (DuckDB) to query activity logs and validate interactions based on their trit-based distance metrics.

Can this skill be used for formal verification?

Yes, it can generate a Unified Triangle Witness via Narya proofs to provide formal evidence that all metric constraints are satisfied.

How does it ensure data consistency across different tasks?

It utilizes a Mutual Awareness Protocol to query, validate, and propagate metric updates across all active triangle-related skills in the environment.

Triangle Metrics

Name: Triangle Metrics
Author: plurigrid

byplurigrid

•

Data Science & ML

Unifies diverse metric spaces and triangle inequality constraints into a coherent topological framework for consistent system navigation.

Triangle Metrics is a specialized Claude Code skill designed to act as a high-level coordinator for multi-domain metric spaces. It implements a unified interface for triangle inequality validation across diverse skills—such as glass-hopping and open games—ensuring that all distances, transitivity rules, and epistemic bounds remain logically consistent. By utilizing formal Narya proofs and persistent DuckLake integration, this skill provides a rigorous mathematical backbone for complex AI-driven development involving graph theory, pathfinding, and strategic equilibrium.

Key Features

01Automated triangle inequality validation (d13 ≤ d12 + d23)

022 GitHub stars

03Unified metric interface for cross-skill distance consistency

04Formal witness generation using the Narya proof system

05DuckLake integration for persistent metric querying and history

06GF(3) conservation to ensure compositional coherence across trits

Use Cases

01Ensuring logical transitivity and consistency in complex navigation systems

02Maintaining equilibrium constraints in open-game strategic simulations

03Validating knowledge transfer bounds in epistemic arbitrage scenarios

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi triangle-metrics

For use in Claude.ai and ChatGPT

Download Skill