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
Configure Akka.NET with .NET Aspire for local development and production deployments. Covers actor system setup, clustering, persistence, Akka.Management integration, and Aspire orchestration patterns.
AI assistant and search
Protect AI agents by blocking dangerous shell commands and checking tool output quality in real time with an OpenClaw plugin
Curated, vetted Agent Skills for Goose — portable SKILL.md know-how (install-officecli, install-gws). Every skill earns its place against a quality bar.
Public Codex skills and skill-authoring utilities
Best Multi-Device AI Dev Console 2026: Manage Claude & Codex Sessions Remotely