tiling-verified は何をしますか？
パラメトリックなLöbian障害バイパスを形式化します。
パラメトリックなLöbian障害バイパスを形式化するスキル。
このスキルは、AIエージェントが自己参照的な推論ループや「Löbian障害」（AIが自分自身の行動を過度に推論することで生じる停止や矛盾）を回避するための形式的手法を提供します。CharlesCNorton/tiling-verifiedは、特定のパラメータ化された証明スキームを用いて、エージェントが安全に「タイル張り」（別のエージェントや将来の自分自身のインスタンスを生成する動作）を行えるようにするための形式的検証アプローチを実装しています。このスキルは主にClaude CodeやCursorなどのコーディングエージェント向けに設計されており、形式的証明や定理証明支援系（Leanなど）を活用した検証プロセスと統合できます。これにより、エージェントは自己複製や長期計画の際に論理的整合性を保証し、致命的な推論エラーを防ぐことが可能になります。
npx skills add CharlesCNorton/tiling-verifiedInstalled? Explore more コーディング＆開発 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
パラメトリックなLöbian障害バイパスを形式化します。
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.