Public

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

Repository Settings

angrysky56/mcp-logic

Webhooks

Webhooks allow external services to be notified when certain events happen in your repository.

Payload URL

Secret Token

Used to validate webhook payloads for security.

Event Triggers

Push

Any Git push to the repository

Pull Request

Pull request opened, closed, or synchronized

Issues

Issue opened, edited, closed, etc.

Commit Comment

Commit or diff commented on

Code Scan

Code scanning alerts