logosphere
Rank #41,482glama/jdhart81/logosphere
Provides an MCP server for building inspectable reasoning graphs, capturing arguments and evidence, and verifying conditional conclusions using Lean.
logosphere is a Model Context Protocol (MCP) server published by jdhart81. It ranks #41,482 of 126,487 servers tracked on MCP Toplist. logosphere is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Sep 9, 2026.
Ranks ahead of 85,005 of 126,487 servers on MCP Toplist.
Use logosphere
Requires user-supplied configuration before first use — typically an API key, token or connection string set via environment variables.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fjdhart81%2Flogosphere)<a href="https://mcptoplist.com/server/glama%2Fjdhart81%2Flogosphere"><img src="https://mcptoplist.com/badge/glama%2Fjdhart81%2Flogosphere.svg" alt="MCP Toplist: Top 50% of 126,487" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
jdhart81
Other servers by jdhart81
View all jdhart81 servers →Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains logosphere?
- logosphere is maintained by jdhart81, which publishes 38 MCP servers (89 total versions) tracked on MCP Toplist.
- Is logosphere listed on the Official MCP Registry?
- logosphere is not on the Official MCP Registry. It is listed on Glama.
- How many versions does logosphere have?
- logosphere ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for logosphere?
- The source code for logosphere is hosted at github.com/jdhart81/logosphere.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.