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
semi-formal-reasoning is a Antigravity agent skill that structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper.
npx skills add knot0-com/semi-formal-reasoningInstalled? Explore more 编程与开发 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.