About Zpm
Zpm is an MCP server in the Other category: sounds like "Zig Prolog MCP".
Install
git clone https://github.com/awf-project/zpmThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Tools (29)
assume_factAssert a fact under a named assumption with automatic justification tracking
Parameters not published.
clear_contextClear all facts from the knowledge base matching a pattern
Parameters not published.
create_memoryCreate a named memory segment backed by a dedicated Prolog module
Parameters not published.
define_ruleAssert a Prolog rule into the knowledge base
Parameters not published.
echoReturns the provided message (health-check)
Parameters not published.
explain_whyTrace proof tree for a fact and return structured deduction chain
Parameters not published.
find_predicate_referencesLocate all usage sites of a Prolog predicate in the knowledge base
Parameters not published.
forget_factRemove a single fact from the knowledge base
Parameters not published.
get_belief_statusQuery whether a belief is currently supported and which assumptions justify it
Parameters not published.
get_justificationQuery all facts supported by a named assumption
Parameters not published.
Show all 29 tools
get_kb_overviewSingle-call snapshot of the knowledge base: user predicates with sample clauses, assumptions, snapshots, and persistence health
Parameters not published.
get_knowledge_schemaIntrospect the knowledge base and list all user-defined predicates with their arity and type (fact/rule/both)
Parameters not published.
get_persistence_statusQuery the persistence layer status including journal size, last snapshot, and operational mode
Parameters not published.
list_assumptionsList all currently active assumptions and their associated facts
Parameters not published.
list_memoriesList all discoverable memories with scope, mount status, and mode
Parameters not published.
list_snapshotsList all available knowledge base snapshots with metadata
Parameters not published.
mount_memoryMount a named memory segment for use, optionally in read-only mode
Parameters not published.
query_logicExecute a Prolog goal and return all variable bindings as JSON
Parameters not published.
remember_factAssert a Prolog fact into the knowledge base
Parameters not published.
rename_predicateAtomically rename a Prolog functor across facts, rules, and TMS justifications
Parameters not published.
restore_snapshotRestore knowledge base from a named snapshot and replay subsequent journal entries
Parameters not published.
retract_assumptionRetract a named assumption and propagate its removal through the knowledge base
Parameters not published.
retract_assumptionsRetract all assumptions matching a glob-style pattern
Parameters not published.
save_snapshotCreate a named point-in-time snapshot of the knowledge base
Parameters not published.
trace_dependencyTrace transitive dependencies from a start node using path/2 rules
Parameters not published.
unmount_memoryUnmount a named memory, flushing WAL and freeing resources
Parameters not published.
update_factAtomically replace an existing fact (retract old, assert new)
Parameters not published.
upsert_factReplace a fact matching functor+first arg, or insert if not found
Parameters not published.
verify_consistencyCheck knowledge base for integrity violations
Parameters not published.
Ask AI
Ask AI about Zpm
Powered by Claude · Grounded in docs
Security checks
6 checks have not been run yet.