SciTeX Clew

Getting Started

  • Installation
    • Basic Installation
    • With CLI Support
    • With MCP Server
    • All Optional Dependencies
    • Development Installation
  • Quickstart
    • Python API
    • Five Node Classes
    • Three Verification Modes
    • CLI
    • MCP Server

Concepts

  • Concepts
    • Five Node Classes
    • Three Verification Modes
    • DAG as Research Logic
    • How It Works
    • Architecture
  • Grouping
    • Built-in groupers
    • Python API
    • Spec schema
    • Custom groupers
    • Merkle roots
    • Grouping invariants
  • CLI Reference
    • Overview
    • Core Commands
    • Introspection
    • MCP Subcommands
  • MCP Server
    • Installation
    • Starting the Server
    • MCP Client Configuration
    • Available Tools
    • Diagnostics

API Reference

  • scitex_clew
    • status()
    • run()
    • chain()
    • dag()
    • rerun()
    • rerun_dag()
    • rerun_claims()
    • list_runs()
    • stats()
    • add_claim()
    • list_claims()
    • verify_claim()
    • export_claims_json()
    • register_intermediate()
    • stamp()
    • list_stamps()
    • check_stamp()
    • hash_file()
    • hash_directory()
    • mermaid()
    • init_examples()
    • on_session_start()
    • on_session_close()

Examples

  • Examples
    • Example 1: Basic Verification
    • Example 2: Chain Verification
    • Example 3: Mermaid Diagram
SciTeX Clew
  • Search

© Copyright 2024-2026, Yusuke Watanabe.

Built with Sphinx using a theme provided by Read the Docs.