cleanupCipher208/mcp-ariel-memory — Clean up old sessions and episodes.
lean_checknickharris808/formal-proof-mcp — Does this Lean 4 source compile? On failure, returns the compiler's own error so the agent repairs its proof instead of asserting one.
state_floornickharris808/formal-proof-mcp — how many states must the system distinguish?
axiom_auditnickharris808/formal-proof-mcp — What does the theorem actually rest on? Catches sorryAx and anything outside the allowlist.
boundnickharris808/formal-proof-mcp — What does a k-of-n record support? Exact one-sided Clopper-Pearson. 'It passed every time' is not a bound.
gridlock_checknickharris808/formal-proof-mcp — Can this wait-for relation wedge? Returns the actual cycle, and optionally checks a strictly decreasing rank.
cert_verifynickharris808/formal-proof-mcp — Is this signoff-cert/v1 certificate real, with its false-pass bound recomputed from the evidence?
residency_checknickharris808/formal-proof-mcp — Could a cross-tenant cache probe on this model even be interpreted?
prereg_checknickharris808/formal-proof-mcp — can this experiment's decision rule come out both ways?
gate_countnickharris808/formal-proof-mcp — exactly how many states does removing this check admit?
evidence_auditnickharris808/formal-proof-mcp — run every applicable verifier over a tree, aggregate to one verdict
parse_filing_sectionio.github.birthday-tools/edgarmcp — Extract a 10-K section (Risk Factors, MD&A) as clean text
get_holdings_analysisio.github.birthday-tools/edgarmcp — Look-through of an ETF/index: sector breakdown + weighted net-margin/ROE with coverage
get_indexio.github.birthday-tools/edgarmcp — Index snapshot (S&P 500, NASDAQ-100, Dow, NASDAQ Composite): level from FRED, tracking ETF, holdings preview
git_commitio.github.bitofacoder/omni-mcp-server — Commit staged changes with a message
system_read_fileio.github.bitofacoder/omni-mcp-server — Read a local file
system_list_dirio.github.bitofacoder/omni-mcp-server — List a directory
web_fetchio.github.bitofacoder/omni-mcp-server — Fetch any public URL as clean Markdown — no API key needed
memory_listio.github.bitofacoder/omni-mcp-server — List everything remembered
unlock_vaultio.github.bitterdev/enpass-mcp — Unlock a vault using the master password from the OS keychain. Takes only a vault name, never a password.
sync_statusio.github.bitterdev/enpass-mcp — List the vaults that use Enpass folder sync and whether the copy in the sync folder is newer.
delete_itemio.github.bitterdev/enpass-mcp — Delete an entry, or move it to the trash, leaving the tombstone Enpass uses so the deletion syncs.
sync_pullio.github.bitterdev/enpass-mcp — Take in a newer copy from the sync folder, after backing up the local vault.
list_vaultsio.github.bitterdev/enpass-mcp — List registered vaults, whether their file exists, whether a password is stored, and whether they are unlocked.
lock_vaultio.github.bitterdev/enpass-mcp — Lock a vault and clear its derived key from memory.
list_itemsio.github.bitterdev/enpass-mcp — List entries (title, username, URL). Never returns passwords. Supports query, category, folder, limit.
get_itemio.github.bitterdev/enpass-mcp — Return a full entry including all field values (password, TOTP, etc.) and its attachment list.
get_passwordio.github.bitterdev/enpass-mcp — Return the password and, if present, the current TOTP code of an entry.
get_otpio.github.bitterdev/enpass-mcp — Generate the current TOTP / 2FA one-time code for an entry, with seconds until it rotates.
list_attachmentsio.github.bitterdev/enpass-mcp — List an entry's file attachments (name, size, MIME).
export_attachmentio.github.bitterdev/enpass-mcp — Decrypt an attachment; writes it to disk and returns the path (or base64 inline for small files).
create_itemio.github.bitterdev/enpass-mcp — Create an entry, including custom fields; sensitive values are encrypted the way Enpass does it.
list_tablestmcwilliam707/dagsmith — Lists all tables in a given schema.
describe_tabletmcwilliam707/dagsmith — Describes a table's columns, types, cluster keys, and comments.
list_schemastmcwilliam707/dagsmith — Lists all schemas in a given database.
check_freshnesstmcwilliam707/dagsmith — Returns last successful write per table.
list_databasestmcwilliam707/dagsmith — Lists all databases in the Snowflake account.
sample_rowstmcwilliam707/dagsmith — Returns a limit-capped preview of rows from a table.
query_historytmcwilliam707/dagsmith — Returns top N recent queries by cost or duration.
access_historytmcwilliam707/dagsmith — Shows who reads what tables.
column_lineagetmcwilliam707/dagsmith — Returns upstream columns for a target column via ACCESS_HISTORY.
dead_tablestmcwilliam707/dagsmith — Lists tables not read in N days.
storage_by_schematmcwilliam707/dagsmith — Returns storage usage by schema.