Discover Cursor MCP servers tagged with "Symbolic Operations" to enhance your AI coding experience.
A fully-featured coding agent that relies on symbolic code operations by using language servers.