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
Recently updated agent skill repository discovered via GitHub repository search.
Automate Browserhub tasks via Rube MCP (Composio). Always search tools first for current schemas.
rp is a program to repair programs.
Open-weight MoE architecture optimized for agentic reasoning and complex coding tasks.
AI shopping assistant skill for Chinese e-commerce — cures decision paralysis | 治愈选择困难症的购物助手 Skill
A Claude Code skill that explains code the way a senior dev would — not the way a bot would. Five modes: /dev, /student, /interview, /smell, /failures.