Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
$ npx skills add anoma/vamp-irScenario Finance and quant · I need my agent to analyze markets, financial data, filings, portfolios, and quant strategies.
CLI + Codex · 4 targets