Find · understand · set up

MCP servers in io.github.Archerkattri

Find the right publisher and setup for your task.

This is the last qualified snapshot, observed 2026-09-08. Source updates are not currently confirmed. Existing results remain available.

1 matching servers

Documented setup first

Registry listed

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

Local processSetup requirements unknownObserved 2026-09-08

Browse source-listed entries