Browse Collections Guide CLINew MCP Publish

Skill Agent MCP Server Claude Rule Cursor Rule Windsurf Rule Cline Rule Hook Prompt Tool

Community registry for AI developer tools.

Discover

Search
Categories
Collections
For Cursor
For Windsurf
For Cline

Publish

Get Started
Getting Started
Publishing Guide

Community

About
Leaderboard
Privacy
Terms
Support ☕

Stay updated

Get notified when new packages launch and features ship.Coming soon — sign up early.

Built by one developer in spare time, fully self-funded. Support this project ☕ — it helps keep the registry alive and growing.

Community project. Not affiliated with Anthropic, Cursor, Codeium, or Cline. All product names are trademarks of their respective owners.

© 2026 CodeGuilds. All rights reserved.

Results for “factuality”

2 packages found

✕ Clear all filters

Official publishers only

Works With

Claude CursorNew WindsurfNew ClineNew

Package Type

Skill Agent MCP Server52 Claude Rule Cursor Rule1 Windsurf Rule Cline Rule Hook Prompt Tool

Category

Code Quality1 Testing2 Documentation DevOps1 Database2 API Development Security2 Frontend10 Backend9 AI / ML

Complexity

Easy Medium Advanced

Works with: Cursor×

MCP Servershannon-prover

@codeguilds-knightCommunity

LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)

0v1.0.0Compare

claudecursorwindsurfcline

MCP Servermaxaeo-ai-visibility-mcp

@codeguilds-knightCommunity

Local-first MCP server for AI visibility audits: GEO/AEO, AI SEO, llms.txt, schema, sitemap and AI crawler readiness.

0v0.3.0Compare

claudecursorwindsurfcline