LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills with input: Type theory definitions

Browse skills that use this input.

  • rezk-types - Complete Segal spaces with local univalence
    Category TheoryHomotopy Type TheorySegal Spaces

    ★ 64 · Updated 2026-02-23

    Defines Segal types with isomorphisms equivalent to identities

    ⚙ Define isomorphism types⚙ Establish equivalence proofs⚙ Implement local univalence