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/AI repository: shingen-masuda/dm-agent-skills
SkillNest（技能巢）—— 最懂 Claude Code 用户的技能发现平台。汇集 Superpowers、Anthropic Skills 等高星 Community Skills，卡片流浏览 + 实时搜索 + 分类筛选 + 图文详情，每个技能直达 GitHub 仓库。独创社区投稿系统：填写表单自动生成结构化 Issue，站长审核收录后全站可见。纯静态架构，零依赖，Fork 即部署 GitHub Pages，让好用的 Skills 被更多人发现。欢迎更多爱好者让更多好的skills被发现！！！
Reusable skills for AI coding assistants (Claude Code, Gemini CLI, Codex, etc.)
Claude Session Manager CLI and Skills
Agent Skills
Codex skill for finding startup opportunities in Anthropic-style AI platform backlash.