3,892 tools found
A Logic-Lens skill for semantic diffing two code versions via semi-formal tracing to confirm behavior is unchanged.
A Logic-Lens skill producing a step-by-step interprocedural execution trace of what code does for a given input.
A Logic-Lens skill locating the root cause of a confirmed failure via backward-then-forward semi-formal tracing.
A Logic-Lens skill finding logic bugs in a file or function via semi-formal execution tracing with L1-L9 classification.
A Longbridge CLI skill for stock news, filings, community topics, and SEC EDGAR filing analysis.
A Longbridge CLI skill for financial statements, valuation, DCF models, and company fundamentals across HK/US/A-share markets.
A Longbridge CLI skill for real-time and historical market data - quotes, K-line, order book, and IPO data.
A skill for discovering, finding, crafting, running, and publishing bounded, verifiable AI-agent loops.
An expert marketing strategist skill that produces comprehensive, executable 12-month marketing plans structured by AARRR framework, customized to budget
An agent companion skill for MDPR that proposes weak semantic hints and review notes without touching slide geometry.
A skill investigating Monte Carlo data incidents - freshness, volume, schema, and ETL failures - via lineage-aware root-cause analysis.
Checks a data asset's health via Monte Carlo observability and outputs a structured freshness, alerts, monitoring, and upstream report.
