Marketplace
siffran
Installation
1
Add the marketplace
/plugin marketplace add obzenner/siffran2
Install plugins
/pluginRun these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Plugins
Plugin
methodologist
Methodology router — selects and executes formal reasoning methodologies (axioms/proofs, decomposition, invariant analysis, contradiction, abstraction refinement, empirical falsification) based on task context.
Plugin
deep-planner
Iterative investigation-and-planning loop — reads code in multiple passes, separates business logic / custom code / external integrations, verifies all API surfaces against actual docs before graduating the plan.