Searching protocol for "RuboCop"
BDD-driven math verification with executable specs.
Orchestrate AI models, amplify your research.