OpenProof / AI

AI には secret ではなく contract を渡してください。

OpenProof は公開された documentation-first AI surface を提供します。コンパクトな 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 全ドキュメントのコンパクト 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、protocol example には API Guide、typed setting には Configuration、upstream requirement には 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 value — 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 の security boundary

次の情報を公開 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 のままにしてください。