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
    • Verification Caching Guarantee
    • Architecture
  • The verify_claim Consumer Contract
    • Signature — one positional, no commit argument, no checkout
    • Return shape
    • Two status vocabularies
    • claims.json v1.3 enrichment and precedence
    • Database selection precedence
  • 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()
    • estimate()
    • add_claim()
    • list_claims()
    • verify_claim()
    • verify_all_claims()
    • export_claims_json()
    • export_manuscript_claims()
    • export_manuscript_hints()
    • register_intermediate()
    • remove_claim()
    • supersede_claim()
    • add_citation()
    • list_citations()
    • verify_citations()
    • verify_all_citations()
    • register_source()
    • unregister_source()
    • list_sources()
    • is_grounded()
    • is_claim_grounded()
    • load_sources_manifest()
    • resolve_sources_path()
    • SourcesManifest
      • SourcesManifest.schema
      • SourcesManifest.root
      • SourcesManifest.path
      • SourcesManifest.entries
      • SourcesManifest.signature
      • SourcesManifest.signing_enforced
      • SourcesManifest.signature_valid
      • SourcesManifest.valid_entries
      • SourcesManifest.invalid_entries
      • SourcesManifest.trusted
      • SourcesManifest.active
      • SourcesManifest.anchor_paths()
      • SourcesManifest.pinned_for()
      • SourcesManifest.__init__()
    • 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.