Loading...
Loading...
Found 3 Skills
Search Mathlib for lemmas by type signature pattern
Search and query your Knowledge Cortex (~/.cortex/). Use when asked to "cortex stats", "cortex search", "cortex client", "cortex contacts", "cortex export", "cortex prune", "search my knowledge base", or "what do I know about COMPANY". Queries portable JSONL/JSON files for contacts, clients, communications, and facts.
Use Orchata MCP tools to search, browse, and manage knowledge bases programmatically. For MCP-connected environments only.