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
Bidirectional sync for Claude Code and Codex — instructions, skills, agents, MCP servers, hooks, permissions.
Hermes Agent Skills
Open-source context engine that catches AI hallucinations and cuts your token bill 70–95%. The only AI helper that shows its work. Claude · Cursor · Codex,GPT & Custom Providers
Claude Code Skills 使用手册 —— 29 个 Skills 的用途、用法和管理规范
Exercise: Integrate Model Context Protocol with GitHub Copilot
agent skills for codex