Skip to main content
Glama
Sign In
aristotle-mcp

aristotle-mcp

by crosedev
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Remote

Related Servers

Alternatives to aristotle-mcp

No user-submitted related servers found.

    Related Servers

    • Lockstep

      GLitchfield
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables AI coding agents and people to coordinate Lean 4 formalization work by exposing the harness over MCP: derive open/claimed/closed theorem nodes from the compiled environment, lock approved statements, record claims and logs, and run memory-capped build, proof-check, and audit jobs.
      MIT

    • leanforge-mcp

      sandraschi
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI-driven formal proof search in Lean 4 by submitting theorems with sorry placeholders and running parallel LLM agents whose proposed edits are verified by the Lean compiler until a machine-checked proof is produced. Also provides Mathlib theorem search and job/attempt management tools.
      3
      MIT

    • logosphere

      jdhart81
      A
      license
      Not graded
      quality
      B
      maintenance
      Provides an MCP server for building inspectable reasoning graphs, capturing arguments and evidence, and verifying conditional conclusions using Lean.
      Apache 2.0

    This server cannot be deployed

    Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

    Resources