CommunityDéveloppement et programmationgithub.com

knot0-com/semi-formal-reasoning

Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper

Qu'est-ce que semi-formal-reasoning ?

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.

Compatible avec~Claude Code~Codex CLI~Cursor✓Antigravity
npx skills add knot0-com/semi-formal-reasoning

Installed? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Voir l'original→Voir toutes les compétences

Demander à votre IA préférée

Ouvre une nouvelle conversation avec cette compétence d'agent déjà préchargée.

OpenAIChatGPTClaudeClaudeGeminiGeminiGrokGrokPerplexityPerplexityDeepSeekDeepSeek

Documentation

Que fait semi-formal-reasoning ?

Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper

Skills associés

steipete/bluebubbles

Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.

community

steipete/eightctl

Control Eight Sleep pods (status, temperature, alarms, schedules).

community

steipete/blucli

BluOS CLI (blu) for discovery, playback, grouping, and volume.

community

steipete/bear-notes

Create, search, and manage Bear notes via grizzly CLI.

community

steipete/camsnap

Capture frames or clips from RTSP/ONVIF cameras.

community

steipete/gifgrep

Search GIF providers with CLI/TUI, download results, and extract stills/sheets.

community
← More Développement et programmation skills