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 add-skill knot0-com/semi-formal-reasoningStructured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
DeepSeek-first API CLI and Agent Skills toolkit with multi-provider fallback
Sub2API-CRS2 一站式开源中转服务，让 Claude、Openai 、Gemini、Antigravity订阅统一接入，支持拼车共享，更高效分摊成本，原生工具无缝使用。
All-in-one Claude Code skill: token optimization + execution depth + intent routing + quality gates. Fed by KobiiClaw autonomous error discovery.
🚀 Monitor Claude Code usage with OpenTelemetry, Prometheus, Loki, and Grafana for real-time insights on costs, token use, and performance metrics.
Claude skills for LPs
自定义 Hermes Agent Skills 集合