Methodology router — selects and executes formal reasoning methodologies (axioms/proofs, decomposition, invariant analysis, contradiction, abstraction refinement, empirical falsification) based on task context.
Add the marketplace
/plugin marketplace add obzenner/siffran
Install plugins
/plugin
Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Plugin Source
View Plugin Code
GitHub Repository
obzenner/siffran
From Marketplace
siffran
View Marketplace
Author
@obzenner
View GitHub Profile