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
The fullstack MCP framework to develop MCP Apps for ChatGPT / Claude & MCP Servers for AI Agents.
Event Horizon is a VS Code extension that visualizes AI coding agents as a living cosmic system. Instead of viewing logs, terminals, or raw agent output, developers observe agent behavior in real time through an interactive universe.
Portable Spec Kit — A lightweight, zero-install specification-driven development framework for AI-assisted engineering.
Karpathy 教你 LLM 会犯什么错。我教你 LLM 在我这犯了什么错、怎么治。8 条铁律 + 真实反例 + 中文 Claude Code 实战包
Automate Finmei tasks via Rube MCP (Composio). Always search tools first for current schemas.
通过钉钉远程控制本地 Agent CLI（OpenCode 或 Claude Code），在手机上随时随地与 AI 编码助手交互。