GPM-SC Reasoning Verifier
GPM-SC: The First Formal Verification Engine for AI & Provably Fair Gaming Overview GPM-SC (General Purpose Meta-Symbolic Computation) is a Logic-First AI Engine designed to solve the two biggest problems in generative AI: Hallucinations and Liability. Unlike standard LLM wrappers, GPM-SC validates every output against a formal logic kernel (Z3 SMT Solver). It detects paradoxes, enforces legal…
1 subscribers
8.6/10 popularity
81 ms avg latency
33% success rate
17 endpoints
The in-depth APIMemo review for this API hasn't been published yet —
the data below comes straight from the public marketplace listing.
GPM-SC Reasoning Verifier endpoints
| Method | Endpoint | Description |
|---|---|---|
| Info | ||
| GET |
list_models_models_get /models |
List available models (local Ollama and cloud providers). Returns information about: - Local Ollama models (if Ollama is running) - Cloud models (Anthropic, OpenAI) - requires… |
| GET |
root__get / |
Service information and welcome message. |
| GET |
security_txt_security_txt_get /security.txt |
Security disclosure endpoint (RFC 9116). Provides contact information for security researchers to report vulnerabilities. |
| GET |
get_status_status_get /status |
Get current service status. Optionally provide API keys to check synthesis availability. Optionally specify Ollama model name to use. SECURITY: API keys are never logged or… |
| GET |
readiness_check_ready_get /ready |
Readiness check endpoint (checks dependencies). |
| GET |
get_pricing_pricing_get /pricing |
Get pricing information for all tiers. |
| GET |
security_txt__well_known_security_txt_get /.well-known/security.txt |
Security disclosure endpoint (RFC 9116). Provides contact information for security researchers to report vulnerabilities. |
| GET |
health_check_health_get /health |
Health check endpoint for monitoring (liveness probe). |
| Verification | ||
| POST |
verify_logic_verify_logic_post /verify/logic |
Zero-cost logic verification endpoint (SMT Bridge direct). **FREE TIER** - No API key required, no LLM calls. This is a high-volume, free/cheap endpoint that hooks users without… |
| POST |
verify_proposition_verify_post /verify |
Verify a logical proposition. **FREE TIER** - No API key required. Uses pure logic (no LLM): - FAL parsing - Paradox pattern detection - SMT satisfiability check - Coherence… |
| Synthesis | ||
| POST |
synthesize_resolution_synthesize_post /synthesize |
Synthesize a resolution for a paradox. **BYOK TIER** - Requires API key OR local Ollama. Provide your API key in headers: - `X-Anthropic-Key`: Your Anthropic API key -… |
| Q&A | ||
| POST |
ask_question_ask_post /ask |
Ask a general question (not for paradox resolution). **BYOK TIER** - Requires API key OR local Ollama. This endpoint is for normal Q&A. For paradox resolution, use /synthesize.… |
| Smart Processing | ||
| POST |
smart_process_smart_post /smart |
Smart processing: automatically classify and route input to the best handler. **DYNAMIC TIER** - May be free (verify) or require LLM (synthesize/ask). This endpoint: 1. Analyzes… |
| GET |
get_classification_stats_classify_stats_get /classify/stats |
Get statistics on input classifications. **FREE TIER** - No authentication required. Returns: - Total classifications - Type distribution - Low confidence count - Feature… |
| POST |
submit_classification_feedback_classify_feedback_post /classify/feedback |
Submit feedback on a classification for learning. **FREE TIER** - No authentication required. Use this to correct misclassifications. The system logs feedback to improve… |
| POST |
classify_input_classify_post /classify |
Classify input text to determine the best processing route. **FREE TIER** - No LLM required. Returns: - type: "formal_logic" | "paradox" | "general_question" | "unknown" -… |
| v2 | ||
| GET |
get_usage_v2_usage_get /v2/usage |
Get usage statistics for the authenticated user. Returns current request count for today and tier limits. |
GPM-SC Reasoning Verifier pricing
| Plan | Price | Rate limit | Quotas |
|---|---|---|---|
| BASIC | Free | — |
|
| PRO | $29 / month | — |
|
