Bazi MCP

Provides secure filesystem operations within specified directories, enabling safe reading, writing, editing, and searching of files for code analysis, document management, or automated file tasks.

Integrates with GitHub's OAuth system to enable secure access and management of repositories, issues, and code for automated development workflows and analysis.

Integrates with Notion to enable AI-powered survey creation, data retrieval, and analysis for research projects.

Integrates with the Alchemy SDK to enable blockchain and NFT operations, including retrieving metadata, fetching token balances, and querying blockchain data.

Securely query and analyze Google BigQuery datasets via natural language.

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.