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
self-improving skills. stay in the loop
Automate Async Interview tasks via Rube MCP (Composio). Always search tools first for current schemas.
OpenClaw skill — solve word puzzles, odd-one-out, and pattern puzzles with multi-hypothesis reasoning
Public Codex skill submodule registry for Maki
小老虎爱看剧：一款 macOS 影视搜索与播放工具，同时提供命令行工具 tigertv-cli.py 及 Agent 可用的 SKILL.md。
An AI agent-compatible SKILL (`retro-learn/SKILL.md`) and helper scripts (`retro_agent/`) that enable an AI agent (Claude Code, Codex, WorkBuddy, etc.) to perform template-based retrosynthetic route planning for organic chemistry target molecules using natural language.