knot0-com/semi-formal-reasoning
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
npx skills add knot0-com/semi-formal-reasoningStructured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Recently updated agent-skill-related GitHub repository: SpillwaveSolutions/running-marketing-campaigns-agent-skill.
LLM-powered trading agents that turn plain natural language into a five-pillar strategy: Trend, Mean-Reversion, Momentum, Volume, and Risk. Each strategy is hosted, self-evolving, configurable through 30+ tunable parameters, and bit-exact between backtest and live execution. Built for simulated Hyperliquid perpetuals.
Agent skill sync repo
Codex Cost Router Skills - preflight task routing skills for Codex to reduce token waste, choose model tiers, reasoning effort, permissions, and execution prompts.
掉秤搭子 · 基于好人松松减脂方法论的本地减脂/增肌陪跑 Claude skill(本地看板+里程碑彩蛋)
Agent Skills for Spec Driven Development