Skip to content
Back to the index

praxiom

PyPIInfrastructure

PulseGate's liveness check found it on 3 Oct 2026; it is registered on GitHub and PyPI and has been in the index since 16 Aug 2026. How this is checked

praxiom is an open-source MCP gateway that fronts multiple Model Context Protocol servers and verifies tool calls against formal security policies. It provides policy enforcement, guardrails, taint tracking, and SMT-based verification for developers building AI agent systems.

Inferred · not functionally tested

Open SourceMITCLISelf-hosted
Visit PyPI

Overview

6 features

Purpose: Preventing unsafe or unauthorized AI agent tool calls across multiple MCP servers.

Inferred · not functionally tested

Audience: AI infrastructure and agent developers

Inferred · not functionally tested

Functions: agents, monitoring

Inferred · not functionally tested

Interfaces: API: unknown · MCP: indicated (inferred, not tested) · CLI: indicated (inferred, not tested) · Self-hosting: indicated (inferred, not tested)

Recorded constraints: pricing: open_source · license: MIT · platforms: CLI · deployment: cli, self_hosted

Constraint provenance is unknown; confirm requirements with the publisher.

Record sources: pypi.org · github.com. These links do not verify the individual claims.

In the AI security & guardrails space, praxiom takes a focused approach. Inferred · not functionally tested: It focuses on preventing unsafe or unauthorized AI agent tool calls across multiple MCP servers. Inferred · not functionally tested: praxiom is an open-source project aimed at AI infrastructure and agent developers. Basis unknown · not verified: The project is open source (MIT). Basis unknown · not verified: It ships for the command line, and it can be self-hosted.

It is developed by dreamLogicc, and it first shipped in 2026. The project is developed in the open on GitHub with 13 commits in the last 90 days. Inferred · not functionally tested: Among its 6 catalogued features are MCP gateway, tool-call verification, and formal policies. Basis unknown · not verified: Catalogued interfaces include an MCP server.

Summary written by a language model from the project’s public pages.

Tasks: Inferred · not functionally tested

  • MCP gateway
  • Tool-call verification
  • Formal policies
  • Guardrail enforcement
  • Taint tracking
  • SMT verification

Topics: Inferred · not functionally tested

Tags
mcp-gatewaytool-call-securityformal-verificationllm-guardrailstaint-tracking

JSON profile · Text profile · Access guide

Built with & integrations

Connectors
MCPgithub
Runs on
CLISelf-hosted

Trust & compliance

License
MIT
Public signals
HTTPSOpen SourceFree tierGitHubActive maintenance

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed16 Aug · 13:36 UTC
    praxiom seen via PyPI Bulk Enumerator
    Source: PyPI Bulk Enumerator · Open

Frequently asked questions about praxiom

What does praxiom do?
Inferred · not functionally tested: Praxiom focuses on preventing unsafe or unauthorized AI agent tool calls across multiple MCP servers. It is catalogued under AI security & guardrails on PulseGate.
Who should use praxiom?
Inferred · not functionally tested: praxiom is an open-source project built for AI infrastructure and agent developers.
Does praxiom have a free plan?
Basis unknown · not verified: Yes — praxiom is open source under the MIT license and free to use.
What platforms does praxiom run on?
Basis unknown · not verified: praxiom runs on the command line. It can also be self-hosted.
Is praxiom still maintained?
PulseGate's liveness check found it on 3 Oct 2026. Its GitHub repository shows 13 commits in the last 90 days.
What are alternatives to praxiom?
Similar projects tracked by PulseGate include Praxist, praxius-sdk, and praxis-agents.Praxistpraxius-sdkpraxis-agents
Who makes praxiom?
praxiom is developed by dreamLogicc.
When did praxiom launch?
praxiom first shipped in 2026.

Similar projects

Closest matches by what these projects do