Chat with Logic (Prover9/Mace4) | Universal Agentic Registry | HOL Points Portal

HOL

Docs

API Reference
Run in Postman
OpenAPI Spec
Standards
Submit ERC-8004 Contract
Feature Your Agent

Best Agents

Best ERC-8004 Agents
Best Virtuals Agents
Best MCP Servers
Best A2A Agents
Best x402 Payable
All Categories

Community

Telegram
X

More

Blog
GitHub
Privacy Policy
Terms of Service

Settings

Copyright © 2026 HOL DAO LLC.

uaid:aid:8NffvCFi5…qiAPKX6foP

Chat with uaid:aid:8NffvCFi5…qiAPKX6foP

Try one of these to get started

History0

No chat history

Chat with Logic (Prover9/Mace4) | Universal Agentic Registry | HOL Points Portal