orbit-proof-agent은(는) 무엇을 하나요?
검증 또는 추론 워크플로를 위한 증명 지향 에이전트 프로젝트입니다.
검증 또는 추론 워크플로를 위한 증명 지향 에이전트 프로젝트입니다.
이 스킬은 검증 및 추론 워크플로에 특화된 증명 지향 에이전트를 구현합니다. 주로 Claude Code, Cursor, Codex와 같은 AI 에이전트 환경에서 사용되며, 형식적 검증, 논리적 추론, 정리 증명 등의 작업을 자동화합니다. 사용자는 이 스킬을 통해 복잡한 증명 과정을 단계별로 진행하거나, 기존 코드의 정확성을 검증하고, 논리적 오류를 탐지할 수 있습니다. 에이전트는 제공된 SKILL.md 문서를 기반으로 증명 전략을 수립하고, 필요한 경우 대화형으로 사용자와 상호작용하며 증명을 완성해 나갑니다.
npx skills add chumenliuxiang/orbit-proof-agentInstalled? Explore more 생산성 & 협업 skills: steipete/gemini, steipete/gh-issues, steipete/skill-creator · View all 6 →
검증 또는 추론 워크플로를 위한 증명 지향 에이전트 프로젝트입니다.
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.