CLI

Integrates with Apple Notes on macOS, enabling direct searching, reading, and creation of notes without leaving the Cursor editor.

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.

Integrates with the BrianKnows knowledge base API to enable searches and information retrieval from specialized domain-specific databases.

Create coding agents to generate implementation options.

Integrates with LibSQL databases to enable schema retrieval and table querying for real-time data access and analysis.

Integrates with Datadog's API to enable incident management, including listing and retrieving incident information for system monitoring and observability workflows.