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
Automate Zoho Inventory tasks via Rube MCP (Composio). Always search tools first for current schemas.
Cross-model review: Claude Code writes, Codex CLI reviews — automated consensus loop for code plans, novels, specs, and more
A compiled skill package: an owned, signed, selectively-opaque distribution format for AI-agent skills. Reference implementation + Imbue vet interop demo.
Personal AI agent that lives on your device; viral local-first assistant reaching 210k+ stars in 2026.
🚀 Manage Cashu ecash tokens and interact with Bitcoin Lightning mints effortlessly using this lightweight CLI built with Node.js and SQLite.
useful codex skill