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 capability: Verify formal correctness

Browse skills that share this capability.

  • matematico-tao - Mathematical code and architecture analysis
    mathematicscode-analysisalgorithmsformal-methods

    ★ 0 · Updated 2026-10-19

    Analyzes code and architecture using mathematical theories including complexity, graph theory, concurrency, formal logic, and probability.

    ⚙ Analyze code rigorously⚙ Model dependency graphs⚙ Assess algorithmic complexity
  • 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
  • matematico-tao - Advanced mathematical code analysis
    mathematicscode analysisalgorithmsformal methods

    ★ 1 · Updated 2026-10-19

    Performs rigorous code and architecture analysis using information theory, graph theory, computational complexity, linear algebra, stochastic analysis, category theory, Bayesian probability, and formal logic.

    ⚙ Analyze code rigorously⚙ Model dependencies as graphs⚙ Analyze concurrency properties
  • matematico-tao - Analyze code with advanced mathematical methods
    mathematicscode analysisalgorithmsformal methods

    ★ 0 · Updated 2026-10-19

    Analyzes code and architecture using complexity theory, graph theory, formal logic, probability, and related mathematical methods.

    ⚙ Analyze algorithmic complexity⚙ Model dependency graphs⚙ Check concurrency properties
  • matematico-tao - Ultra-advanced mathematical code analysis
    mathematicscode analysisalgorithmsformal methods

    ★ 0 · Updated 2026-10-19

    Analyzes code and architecture using rigorous mathematical methods including information theory, graph theory, computational complexity, formal logic, and probability.

    ⚙ Analyze code complexity⚙ Model dependency graphs⚙ Check concurrency properties
  • matematico-tao - Rigorous mathematical analysis of code and architecture
    mathematicscode analysisalgorithmsformal methods

    ★ 0 · Updated 2026-10-19

    Analyzes code and architecture using complexity theory, graph theory, formal logic, probability, and related mathematical methods.

    ⚙ Analyze code mathematically⚙ Model dependency graphs⚙ Verify formal correctness
  • matematico-tao - Rigorous mathematical analysis of code and architecture
    mathematicscode analysisalgorithmsformal methods

    ★ 0 · Updated 2026-10-19

    Analyzes code and software architecture using complexity theory, graph theory, formal logic, probability, and related mathematical methods.

    ⚙ Analyze algorithmic complexity⚙ Model software dependency graphs⚙ Check concurrency properties
  • matematico-tao - Mathematical Code and Architecture Analysis
    mathematicscode analysisalgorithmsformal methods

    ★ 1 · Updated 2026-10-19

    Analyzes code and architecture using complexity theory, graph theory, formal logic, concurrency models, performance analysis, and advanced mathematics.

    ⚙ Analyze code complexity⚙ Model dependency graphs⚙ Check concurrency properties