OpenProof / AI

AI에는 secret이 아니라 contract를 제공하세요.

OpenProof는 공개된 documentation-first AI surface를 제공합니다. compact LLM index, 확장된 text corpus, OpenAPI 3.1 contract, 검색·endpoint lookup·integration guidance용 read-only MCP server가 포함됩니다.

MCP endpoint OpenProof llms.txt OpenProof llms-full.txt OpenAPI

정식 머신 리더블 소스

리소스	용도
`/llms.txt`	전체 Genyleap 문서용 compact index.
`/llms-full.txt`	retrieval용 확장 Genyleap/OpenProof text corpus.
`/openproof/llms.txt`	OpenProof 전용 navigation과 권위 있는 source order.
`/openproof/llms-full.txt`	확장된 OpenProof deployment 및 developer reference.
`/openproof/api/openapi.yaml`	권위 있는 OpenAPI 3.1 HTTP contract.
`/openproof/handbook`	사람이 읽을 수 있는 deployment + developer workflow.

Agent용 소스 우선순위.

endpoint/schema 사실에는 OpenAPI, workflow에는 handbook, 프로토콜 예제에는 API Guide, typed 설정에는 Configuration, upstream 요구사항에는 Provider Setup, runbook에는 Operations를 사용하세요.

공개 documentation MCP

호환되는 MCP client는 다음 주소로 연결할 수 있습니다:

MCPStreamable HTTP

https://docs.genyleap.com/openproof/mcp

이 server는 공개 문서만 제공하므로 의도적으로 public입니다. production OpenProof secret, database, session, user, operator file로 접근하는 경로가 없습니다.

도구

도구	용도
`search_openproof_docs`	공개 handbook과 implementation-aligned documentation을 검색합니다.
`get_openproof_guide`	install, OAuth/OIDC, provider, operations, security 또는 AI에 대한 집중 가이드를 반환합니다.
`get_openproof_endpoint`	OpenAPI method/path를 찾아 해당 contract excerpt를 반환합니다.
`get_openproof_example`	cURL, JavaScript/Node, PHP 또는 C++용 문서화된 integration pattern을 반환합니다.
`get_openproof_checklist`	installation, developer 또는 production checklist를 반환합니다.

설계상 read-only.

docs MCP는 관리 backdoor가 아닙니다. 실제 deployment를 변경하려면 독립적으로 인증된 operator tooling과 명시적 audit, least privilege를 사용하세요.

RAG / indexing 가이드

method/path/schema 사실이 structured 상태를 유지하도록 OpenAPI contract를 prose와 분리해 index하세요.
handbook을 heading별로 chunk하고 code block은 설명하는 section과 함께 유지하세요.
각 chunk에 version metadata를 유지하세요. 여기 예시는 OpenProof 1.1.0-rc1을 대상으로 합니다.
모델이 충돌하는 docs를 조용히 reconcile하도록 두지 마세요. 차이를 드러내고 현재 implementation-aligned source를 우선하세요.
실제 deployment 값 — client secret, database URL, token, private key — 은 retrieval corpus 밖에 저장하세요.

안전한 coding assistant prompt

prompt예시

Use only the OpenProof public documentation and OpenAPI contract.

Issuer: https://auth.example.com
Client type: browser
Redirect URI: https://app.example.com/oauth/callback
Scopes: openid profile offline_access

Implement Authorization Code + PKCE S256.
Validate state, returned issuer and ID-token signature/claims.
Do not hard-code secrets or log tokens.
Do not invent undocumented endpoints.

Agent 보안 경계

다음 항목을 공개 LLM prompt, RAG corpus 또는 documentation MCP에 넣지 마세요:

provider/API client secret;
기밀 OAuth client secret;
PostgreSQL URL/password;
signing/encryption/private key;
access token 또는 refresh token;
session cookie;
verification secret, TOTP seed 또는 recovery code;
live user/session state 또는 private log.

인프라 자동화에는 별도의 인증된 operator MCP/service를 사용하세요. documentation access와 production control은 서로 다른 trust boundary로 유지해야 합니다.