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 output: Correctness and concurrency findings

Browse skills that produce this output.

  • matematico-tao - Analyze Code and Architecture with Advanced Mathematics
    mathematicscode analysisalgorithmsformal methods

    ★ 2 · Updated 2026-10-19

    Performs rigorous code and architecture analysis using complexity theory, graph theory, formal logic, probability, and related mathematical methods.

    ⚙ Analyze code complexity⚙ Model dependency graphs⚙ Verify formal correctness