検証や推論ワークフローのための証明指向エージェントプロジェクト。
このスキルは、形式検証や論理推論のワークフローを支援するための証明指向エージェントです。証明の自動生成や検証、論理的な推論タスクを効率化するために設計されており、ソフトウェア開発におけるバグの防止やシステムの正しさの保証に貢献します。主に証明アシスタントや検証ツールと連携し、ユーザーが定義した仕様に基づいて証明を構築・チェックします。このプロジェクトはGitHubで公開されており、AIエージェント（Claude CodeやCursorなど）から利用できることを想定しています。ワークフローはMarkdownベースのドキュメントで定義され、エージェントはその手順に従って証明関連のタスクを実行します。
npx skills add chumenliuxiang/orbit-proof-agentInstalled? Explore more 生産性＆コラボレーション skills: steipete/gemini, steipete/gh-issues, steipete/skill-creator · View all 6 →
検証や推論ワークフローのための証明指向エージェントプロジェクト。
このエージェントは、形式検証や論理推論のタスクを自動化するように設計されています。証明の構築、チェック、および検証を支援し、ソフトウェアの信頼性向上に寄与します。
エージェントは、SKILL.mdに定義された手順に従って動作します。ユーザーはMarkdownファイルでタスクを定義し、エージェントがそれを解釈して実行します。
プロジェクトのライセンス情報は、GitHubリポジトリを参照してください。
Gemini CLI one-shot prompts, summaries, generation, skills, hooks, MCP, or Gemma routing.
Fetch GitHub issues, select candidates, spawn background fix agents, open PRs, and optionally process PR review comments.
Create, edit, audit, tidy, validate, or restructure AgentSkills and SKILL.md files.
Search, install, update, sync, or publish agent skills with the ClawHub CLI and registry.
Delegate coding work to Codex, Claude Code, or OpenCode as background workers; not simple edits or read-only code lookup.
List, configure, authenticate, call, and inspect MCP servers/tools with mcporter over HTTP or stdio.