에이전트들에게도
감사팀이 필요하다.Agents need
an audit team, too.
AI가 “다 됐다”고 해도, 그냥 믿고 넘기진 마세요.
바꾸지 말라고 한 것까지 바뀌었을 수 있으니까요.Even if AI says “done,” don’t just take its word for it.
It may have changed something you asked it to leave alone.
INVARA가 답하려는 질문은 한 단계 더 구체적입니다.For INVARA, that comes down to a specific question.
“AI가 일을 끝냈다고 했을 때, 사용자가 그 말을 그대로 믿지 않아도 되게 해주는가?”“When AI says the work is done, can the user check instead of taking its word for it?”
“화면만 정리해 줘. 가격은 그대로 둬.”
INVARA는 바꾸지 않기로 한 파일을 비교하고 미리 고른 검사를 실행합니다. 무엇이 바뀌었고 어디까지 확인했는지 알려줍니다.“Tidy up the page. Keep the prices.”
INVARA compares the files you chose to protect and runs the checks you selected before the work. See what changed and what it could not check.
내 컴퓨터에서 무료로 검사할 수 있습니다.
이 페이지는 프로젝트에 자동 연결되지 않습니다.Real checks run on your computer, for free.
This page does not automatically connect to a project.
화면을 정리했는데,
가격도 바뀌었습니다.The page looks tidier.
But the price changed too.
설명용 예제 · 내 프로젝트의 검사 결과가 아닙니다.Sample only — this is not a check of your project.
바꾸지 않기로 한 가격 파일: 수정 전 $9 → 수정 후 $19A price file chosen to stay unchanged: $9 before → $19 after
- 수정이 반영됐나요?Were changes applied?
- 예제 파일만 바뀌었습니다. 내 프로젝트에는 연결하지 않았습니다.Only the files in this fictional example changed. Your project is not connected.
- 확인한 것What was checked
- 그대로 두기로 한 가격 파일을 수정 전 기록과 비교했습니다.The protected price file was compared with its before record.
- 발견한 문제Problems found
- 예제 가격이 $9에서 $19로 바뀌었습니다.The example price changed from $9 to $19.
- 확인하지 못한 것What was not checked
- 화면이 쓰기 편한지, 결제가 되는지, 다른 파일도 바뀌었는지는 확인하지 않았습니다. 내 프로젝트를 검사한 결과도 아닙니다.This did not check page usability, payment behavior or other files. Your project was not checked.
- 지금 할 일What to do now
- 이 경우에는 가격 파일을 고친 뒤 다시 확인해야 합니다. 내 작업을 검사하려면 아래 Codex 안내를 따라 시작하세요.In this example, the price file needs fixing before another check. To check your own task, follow the Codex steps below.
예제의 판정과 자세한 설명Example verdict and details
BLOCK
선택한 상황을 설명하기 위해 만든 가상 사례입니다. 실제 엔진 출력이 아닙니다.A fictional case written to explain the selected situation. This is not engine output.
브라우저에서는 예제를 보여줄 뿐, INVARA 엔진을 실행하지 않습니다.This browser example does not run the INVARA engine.
내 작업은
Codex에서 시작하세요.Start your own task
in Codex.
이미 쓰고 있는 Codex에서 바꾸려는 프로젝트를 열어 주세요. 코드를 읽거나 여기 올릴 필요는 없습니다.Open the project you want to change in the Codex you already use. You do not need to read code or upload it here.
컴퓨터와 로컬 프로젝트가 필요합니다. 휴대폰에서는 예제를 보고 안내를 복사할 수 있습니다. 실제 실행은 프로젝트가 있는 컴퓨터의 Codex에서 이어가세요.You need a computer and a local project. On a phone, explore the example or copy the instructions; continue in Codex on the computer holding your project.
프로젝트를 열고 아래 안내를 복사하세요.Open your project and copy these instructions.
Codex에 붙여넣은 다음 평소처럼 바꾸고 싶은 일을 적으세요. 예: “검색 결과를 읽기 쉽게 정리해 줘. 가격은 바꾸지 마.”Paste into Codex, then describe your task as usual. For example: “Make the search results easier to read. Do not change prices.”
안내 내용 펼쳐 보기Read or manually copy the instructions
안내를 복사해도 검사는 아직 시작되지 않습니다. 이 사이트에서 Codex를 열거나 명령을 보낼 수는 없습니다.Copying does not start a check. This site does not open Codex or send commands to it.
Codex가 준비를 마치면 작업을 시작합니다.Codex checks the setup before making changes.
Codex가 Python과 INVARA 설치 상태, 기존 검사, 그대로 둘 파일을 확인합니다. 무엇을 검사할지 먼저 알려드리고 수정 전 상태를 기록한 뒤 요청한 작업을 시작합니다.Codex checks Python, the INVARA installation, existing checks and files to keep unchanged. It shows the scope, records the before state, then does the requested task.
검사에 필요한 항목이나 수정 전 기록이 없으면 작업을 멈추고 “확인하지 못했습니다”라고 알려드립니다. 준비가 안 된 상태를 검사 성공으로 표시하지 않습니다.If checks or a trustworthy before record are missing, it stops with “Could not check.” Missing setup is not success.
Codex가 보여주는 결과를 확인하세요.Read the result in Codex.
작업이 끝나면 Codex가 실제로 검사한 결과를 보여줘야 합니다. 수정 반영 여부, 확인한 내용, 발견한 문제, 확인하지 못한 부분, 지금 할 일을 차례로 알려드립니다.After making the changes, Codex must run the check. The result tells you whether changes were applied, what was checked, what went wrong, what remains unchecked and what to do next.
대화의 INVARA-RESULT.html 링크를 열면 같은 내용을 브라우저에서 볼 수 있습니다. 파일을 열 수 없으면 대화 안의 결과와 근거 위치를 확인하세요. 안내문만 받았다면 검사는 아직 끝나지 않았습니다.Open the INVARA-RESULT.html link in the conversation to read the same result in a browser. If it cannot open, use the result and evidence location in the conversation. Instructions alone are not a finished check.
설치와 실행의 정확한 명령Exact installation and execution commands
Codex가 실행할 명령입니다. Python 3.12+와 로컬 명령 실행 권한이 필요합니다.Commands for Codex to run. Requires Python 3.12+ and local command access.
python -m pip install invara==0.2.1
invara listuvx --from invara==0.2.1 invara list
uvx --from invara==0.2.1 invara seal <task.json>
# agreed work after seal
uvx --from invara==0.2.1 invara judge <task_id> --commitCodex는 모든 검사에서 같은 프로젝트 경로, 기록 위치, 설치 버전을 사용합니다. 꺾쇠 안의 작업 파일 이름과 ID도 Codex가 채웁니다.Keep the same project root, record location and version for each command. Codex fills in the actual task file and ID.
시작이 안 되거나, 결과가 없을 때If you cannot start or get a result
프로젝트를 찾지 못하면 파일이 저장된 컴퓨터의 Codex에서 폴더를 여세요. Python이나 실행 권한이 없으면 Codex에 무엇이 부족한지 물어보세요. 이미 작업을 마쳤고 수정 전 기록도 없다면 이번 변경은 확인하지 못한 채로 남기고, 다음 작업부터 시작하세요.Project not found: open its folder in Codex on the computer where it is stored. Missing Python or command access: ask Codex to name the missing prerequisite. Work already finished: without a before record, leave this change unverified and start with the next change.
오류가 나면 오류 내용을 그대로 남겨 두고 원인을 해결한 뒤 다시 시도하세요. 결과 파일이 없으면 Codex에 실제 실행 결과와 파일 위치를 요청하세요. 결과를 받지 못했는데 성공한 것으로 처리하면 안 됩니다.An engine error: keep the original error and resolve its cause before retrying. Missing result file: ask Codex for the actual execution output and file location. Never invent a passing result.
어디까지 확인했는지
알려드립니다.Know what
was checked.
그대로 두기로 한 파일이 바뀌었는지 비교하고 선택한 검사의 결과를 확인합니다. 프로그램 전체가 옳다거나, 모든 버그가 없다는 보장은 아닙니다.Checks cover protected files and selected tests. They do not guarantee the whole program is correct or free of bugs.
검사 결과와 수정 반영 여부는 따로 봐야 합니다. 문제가 발견됐을 때 파일은 이미 바뀐 상태일 수 있습니다. 검사에 통과해도 수정 내용을 자동으로 반영하거나 공개·배포하지 않습니다.A verdict is separate from application status. Files may already be changed when a problem is found. Passing does not automatically apply, publish or deploy anything.
Windows와 Linux에서 검증한 기록이 있습니다. macOS와 에디터 화면을 통한 설치는 아직 확인하지 못했습니다. 여기서 안내하는 Codex 사용법은 내 컴퓨터에서 명령을 실행하는 방식입니다.Existing evidence covers Windows and Linux. macOS and actual editor-UI installation remain unverified. This Codex path uses local commands.
이 사이트는 소스를 받지 않습니다. Codex 자체의 데이터 처리 정책은 별도입니다. 실행 명령은 내 권한으로 동작하며 네트워크에 접근할 수 있습니다. INVARA는 보안 격리 도구가 아닙니다.This site does not receive source code. Codex has its own data policy. Commands run with your permissions and may access the network. INVARA is not a sandbox.
판정 코드의 뜻What the verdict codes mean
PASS- 선택한 조건을 충족했습니다. 확인하지 않은 범위나 공개 승인까지 뜻하지 않습니다.Selected conditions met. Not a claim about unchecked scope or release permission.
BLOCK- 선택한 조건이 깨졌습니다. 근거를 남기고 고친 뒤 다시 확인하세요.A selected condition failed. Keep the evidence, fix it and check again.
UNVERIFIABLE- 검사하지 못했습니다. 빠진 준비나 근거를 확인하세요.Could not check. Find the missing prerequisite or evidence.
HUMAN_REVIEW- 사람이 검토하고 결정해야 합니다. 종료 코드가 0이어도 PASS는 아닙니다.A person must decide. Even exit code 0 is not PASS.
NO_DIVERGENCE_FOUND- 실행한 입력에서 차이를 못 찾았습니다. 모든 입력이 같다는 증명은 아닙니다.No difference found in the inputs run. Not proof for all possible inputs.
매번 검사 준비부터
다시 해야 한다면.Setting up the checks
every time?
유료로 제공할 다음 단계를 검토하고 있습니다. 내 프로젝트에서 무엇을 지킬지 함께 정하고, 다음 작업에도 다시 쓸 수 있는 검사 준비를 끝내는 서비스입니다.We are exploring a paid setup service: agree on what your project needs to preserve, then prepare checks you can use for later changes.
검토 중 · 아직 판매하지 않습니다Under consideration · Not available to buy yet
돈을 내면 무엇이 달라져야 할까요?What would you pay us to finish?
예제를 받아 직접 고치는 대신, 내 프로젝트에 맞춘 검사 설정과 실제 첫 실행 결과를 받는 것입니다. 다음 작업에서는 그 설정을 다시 쓰되, 작업 범위가 달라지면 확인할 약속도 다시 정해야 합니다.Receive checks fitted to your project and the result of their first real run. Reuse that setup for the next change, reviewing the scope whenever the task changes.
한 프로젝트의 기존 검사를 연결하는 범위부터 검토합니다. 코드 수정, 없는 검사의 신규 개발, 모든 버그 탐지, 작업마다 자동 감시는 포함하지 않을 계획입니다. 준비를 완료할 수 있는지 먼저 확인해야 하므로 가격과 일정도 아직 정하지 않았습니다.The proposed scope starts with connecting existing checks for one project. It would not include code repairs, writing missing tests, finding every bug or automatic monitoring. We have not set a price or schedule; first we need to establish what we can deliver.
내가 준비하다 막힌 부분 알려주기Tell us what made setup difficult메일 앱이 열립니다. 하고 싶은 작업과 막힌 부분만 알려주세요. 코드·프로젝트 파일·비밀번호는 보내지 마세요. 의견 접수이며 신청·예약·결제가 아닙니다. 무료 검사는 위 안내로 바로 시작할 수 있습니다.Opens your email app. Describe the task and where you got stuck; do not send code, project files or passwords. This is feedback, not an order, reservation or payment. You can start a free check using the instructions above.
검사하려고 자료집을
살 필요는 없습니다.You do not need to buy a kit
to run a check.
INVARA와 위 Codex 시작 안내는 무료입니다. 먼저 내 작업에서 확인할 수 있는 것과 없는 것을 살펴보세요.INVARA and the Codex instructions above are free. Start by finding out what can and cannot be checked in your task.
무료 시작 안내로 돌아가기Back to the free instructions기존 9달러 자료집을 구매했다면Already bought the $9 kit?
Task Check Kit는 영어 예제와 문서 양식을 담은 다운로드 자료입니다. 작은 기능 추가, Python 코드 정리, 작업 전달을 연습하는 자료이며 내 프로젝트의 검사 설정을 대신 완성해 주지는 않습니다.Task Check Kit is a download of English examples and document templates for small features, Python cleanup and handoffs. It does not set up checks for your own project.
Kit purchase links have been removed from this page. Existing purchase files are unchanged.
기존 구매 파일과 제공 조건은 바꾸지 않았습니다. 자료의 실행기는 INVARA 0.2.0용입니다. 위 무료 시작 안내의 0.2.1과 혼용하지 말고 자료 안의 SETUP.md를 따르세요. 검증 대행·코드 수정·사람 검토는 포함되지 않습니다.Existing files and purchase terms are unchanged. The kit runner requires INVARA 0.2.0; follow its SETUP.md rather than mixing it with the 0.2.1 instructions above. It does not include an assisted check, code repair or human review.
Gumroad에서 구매한 자료 열기Open my purchases on Gumroad자료가 보이지 않으면 구매 영수증의 링크를 확인하세요. 다운로드 문제와 환불 문의는 영수증의 판매자 연락처로 보내주세요. 여기에서 새로 결제하지 마세요.If the files are missing, use the link in your receipt. Contact the seller listed there for download or refund questions. You do not need to pay again here.
아직 프로젝트가 없다면No project ready yet?
위 브라우저 예제를 먼저 보세요. 기존 무료 ZIP도 받을 수 있지만, 가상 프로젝트 예제이며 내 프로젝트의 검사 결과는 아닙니다.Try the browser example above, or download the free ZIP for a fixed example you can run locally. It does not check your project.
무료 예제 ZIP 받기Download the free example ZIP예제 파일 정보Example file identity
invara-free-example-1.0.0.zip · 19,942 bytes
71d67cb9a747ee5c393e76bca44605f94e1ce52cd6c583d06a999ef69a0ecb8a이 예제 공유하기Share this example
메일 앱을 열 뿐 자동 전송하지 않습니다. 코드나 보고서를 첨부할 필요는 없습니다.Opens your email app; does not send automatically. No code or report attachment is needed.