Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Live
Open / InstallLast updated October 23, 2026
Description
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Community Metrics
Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
io.github.fvossel
Platform
mcp
Pricing model
free
Categories
- mcp
Tags
No tags.
Capabilities
- official
- local
Information
TypeAgent
SourceMCP Registry
AddedOctober 12, 2026