obzenner/siffran

obzenner/siffran

Plugin Claude Code

Dmitry's personal Claude Code plugin marketplace — methodology-driven tools for rigorous engineering.

obzenner/siffran

Plugin Claude Code

Empirical-convergence workflow — adjudicates a claim graph (GSN argument with in-toto evidence) where every claim's confidence must be earned by real external evidence: research citations first, deterministic spike verdicts for machine-checkable claims, then an independent auditor on a different model before a run may.

obzenner/siffran

Plugin Claude Code

Methodology router — picks and executes formal CS/math reasoning methodologies with tracked phases and structured output.