タグ: claude-code

"claude-code" が付いた記事と Wiki ページ

• Claude Code を iPhone から遠隔操作する — Remote Control の設定と、通知でつまずいた話

  2026年10月25日

  Mac で走らせている Claude Code のセッションを、外出先の iPhone から見て答えるために Remote Control を設定した手順と、プッシュ通知が届かなかった原因（No mobile registered・使用中判定・claude rc の待ち受けへの誤接続）の切り分け、そして不在中に止まらないための設定をまとめる。

• ハーネスエンジニアリング入門 — 馬具・柵・境界の3層で AI エージェントを自走させる

  2026年10月25日

• AI 仕様駆動開発の 2 つの spec-loop を比べる — 実装ループと要求確定ループ

  2026年10月25日

• Claude Code で Higgsfield 用ショート動画シナリオを量産する — CLAUDE.md でプロンプト構文を固定し MCP で生成まで

  2026年10月14日

• Jev とは何か — 文章を書かず「判断だけ」を返す System One モデル

  2026年10月13日

• REA とは？AI エージェントにリバースエンジニアリングさせる MCP ツールの使い方と注意点

  2026年10月13日

  AI エージェントにリバースエンジニアリングの道具を持たせる MCP サーバー兼 CLI「REA」の仕組み、Evidence による根拠の示し方、npx rea-agents setup での導入手順、EULA・商用エンジンのライセンス・モデル提供元へのデータ送信といった注意点を解説します。

• 要求仕様書作成ループ

  コーディングエージェントの開発ループの手前に、利用者と回す要求確定ループ、エージェント同士の仕様レビューループ、並行する実現性・コストのループを置き、確定仕様からテストと契約を生成して開発ループへ渡す構成

• Google Apps Script（GAS）

  Google Workspace に含まれるスクリプト実行環境。Web アプリとしてドメイン限定で公開でき、AI で社員が作った社内ツールの追加コストゼロの置き場所になる

• 要求仕様ループを Claude Code プラグインにする — dev-loop と分けて 1 プラグイン・複数スキルで組む

  2026年10月12日

• 形式手法を Claude Code で回す — Z3 と TLA+ で仕様の穴を見つけ、反例をテストに落とす

  2026年10月9日

  Claude Code に料金計算の仕様を Z3 で、キャッシュ設計を TLA+ で形式化させ、仕様の矛盾と並行実行の競合を見つけた。形式手法とテストの違い、道具の選び方、反例を pytest に落とす手順、検査の空振りの確かめ方を実行結果つきで解説する。