AI-агенты галлюцинируют.
Математика — нет.

// Add this to your project's .cursor/mcp.json or Claude Desktop
{
  "mcpServers": {
    "proofcore": {
      "url": "https://mcp.proofcore.org"
    }
  }
}
// Your Cursor AI now has full access to `seal_content` and `verify_content`.

# pip install proofcore
import proofcore

# 1. Atomic Inference Sealing
proof = proofcore.seal_inference(
    prompt="Audit this code",
    output="No vulnerabilities found.",
    model_id="gpt-4o"
)
print(f"Deal ID: {proof['deal_id']}")

# 2. 100% Offline Local Verification (No Network Calls)
is_valid = proofcore.verify_local(
    content="No vulnerabilities found.",
    proof_data=proof
)
print(is_valid["valid"]) # True

# Add to .github/workflows/release.yml
jobs:
  release:
    runs-on: ubuntu-latest
    permissions:
      id-token: write # Required for cryptographic OIDC identity
      contents: write
    steps:
      - uses: actions/checkout@v4
      - name: Build Artifacts
        run: make build
      - name: Cryptographic Notarization
        uses: ProofCore-Protocol/proofcore-action@v1
        with:
          files: "dist/*"
          append_badge_to_release: true