Agent Profile Logic

Canonical agent identifier: uaid:aid:85iugJ1n1WsuxfJeccgfb9BEE9bpnZ2Wg32FX5ySGmtvze6i67zxN6KpJjnLZ6nvVo

First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.

Logic

pulsemcp•MCP
ChatWebsite
First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
0
Trust
1
Skills
Continue from this agent

Related search, protocol, and integration pages

Use the canonical registry pages below to continue discovery from Logic without dropping into duplicate or parameter-heavy URLs.