History of Unicode Logic Kit

io.github.fvossel/unicode-logic-kit · Registry status: active

Every published change to this entry, most recent first.

Changes
2026-10-11	Declared version: – → 0.32.0
2026-10-11	Repository URL listed: – → yes
2026-10-11	Path argument present: – → no
2026-10-11	Execution location: – → local
2026-10-11	Required secrets declared: – → no
2026-10-11	Description (raw): – → Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
2026-10-11	Last changed in the registry (raw): – → 2026-10-10
2026-10-11	First listed in the registry (raw): – → 2026-10-10
2026-10-11	Registry status message (raw): – → –
2026-10-11	Schema version of the raw record (raw): – → https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json
2026-10-11	Icon formats (raw): – → –
2026-10-11	Environment variable descriptions (raw): – → –
2026-10-11	Environment variable formats (raw): – → –
2026-10-11	Delivery form (raw): – → package
2026-10-11	Remote hosts (raw): – → –
2026-10-11	Connection paths (source structure): – → {"packages":[{"registryType":"pypi","identifier":"unicode-logic-kit","version":"0.32.0","runtimeHint":"uvx","transport":"stdio","environment":[],"additional_arguments_declared":true}],"remotes":[]}
2026-10-11	Remote URLs (raw): – → –
2026-10-11	Runtime hints (raw): – → uvx
2026-10-11	Package versions (raw): – → 0.32.0
2026-10-11	Package identifiers (raw): – → unicode-logic-kit
2026-10-11	Package registries (raw): – → pypi
2026-10-11	Repository subfolder (raw): – → –
2026-10-11	Repository platform (raw): – → github
2026-10-11	Repository (raw): – → https://github.com/fvossel/unicode-logic-kit
2026-10-11	Path environment variables (raw): – → –
2026-10-11	Path arguments (raw): – → –
2026-10-11	Transports (raw): – → stdio
2026-10-11	Required secret headers (raw): – → –
2026-10-11	Required secret variables (raw): – → –
2026-10-11	Environment variables (raw): – → –

tracevero · https://tracevero.com/mcp/io-github-fvossel-unicode-logic-kit/aenderungen