Why is conservative logic important for this skill?

Conservative logic ensures that no information is destroyed during computation, which is critical for reversible software and high-integrity logic systems.

What are α/β/γ diffs?

These represent specific operations: alpha (α) is a forward simulation step, beta (β) is a hash mutation/edit, and gamma (γ) is a formal bisimulation proof.

What is bisimulation in the Teglon Bison skill?

Bisimulation is a semantic relation where two programs are proven to simulate each other's behavior step-by-step, ensuring functional equivalence.

How does this skill work with the Unison language?

It integrates with Unison's content-addressed hashing system, allowing Claude to identify, compare, and mutate code based on its unique hash rather than its name.

Teglon Bison Logic

Name: Teglon Bison Logic
Author: plurigrid

byplurigrid

•

Developer Tools

Verifies semantic equivalence and bisimulation in content-addressed codebases using reversible computation and conservative logic.

Teglon Bison is an advanced logic-oriented skill for Claude Code that brings formal bisimulation semantics to software development. Built on the foundations of the Unison programming language and conservative logic, it enables Claude to treat code as content-addressed topological structures. The skill provides a framework for reversible computation, ensuring that information is preserved across transformations. By utilizing α/β/γ diff structures and GF(3) triads, it allows developers to prove that two programs simulate each other step-by-step, making it an essential tool for high-assurance systems, semantic code evolution, and managing LLM-generated logic with mathematical rigour.

Key Features

01Support for Unison-style content-addressed code management

028 GitHub stars

03Semantic bisimulation checking for verifying code equivalence

04Conservative logic constraints to prevent information loss

05Reversible computation modeling (α/β/γ diff analysis)

06GF(3) triad verification for logical consistency in complex systems

Use Cases

01Proving functional equivalence between refactored code and original logic

02Managing and mutating content-addressed function hashes in Unison environments

03Verifying the structural integrity of LLM-generated code via simulation games

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi teglon-bison

For use in Claude.ai and ChatGPT

Download Skill