LogoClawIndex
CasesSkillsAbout
LogoClawIndex

proof-orchestrator - Coordinate audited proof work across interfaces

Coordinates local proof search, justified external handoffs, audits, and user-controlled decisions across internal, external, and user interfaces.

Tags

Updated: 2026-10-06
proof automationmathematical reasoningproof auditexternal handoffresearch workflowuser approval

Capabilities

Coordinate local proof workAudit proof correctnessAudit notation and sourcesPackage unresolved obligations

Typical Inputs

Theorem or proof obligationDefinitions and assumptionsNotation and source excerpts

Typical Outputs

Proof run filesLocal proof attemptExternal brief

What this skill does

  • Coordinate local proof work
  • Audit proof correctness
  • Audit notation and sources
  • Package unresolved obligations
  • Record proof run evidence
  • Request user decisions
  • Prepare external handoffs
  • Track proof run status

Inputs

  • Theorem or proof obligation
  • Definitions and assumptions
  • Notation and source excerpts
  • Prior run artifacts
  • User authorization and choices
  • Available local tools and sources
  • Authorized external adapter

Outputs

  • Proof run files
  • Local proof attempt
  • External brief
  • Provider handoff record
  • External output record
  • Correctness audit
  • Verified final proof
  • Run status labels
  • User decision requests

Requirements

  • Available local tools and sources
  • User authorization for consequential actions
  • Authorized external adapter for dispatch
  • call-gpt-pro for GPT Pro calls

Source

  • Spec: SKILL.md

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.