AxProver — Axiomatic AI
AxProver — Automated theorem proving powered by Axiomatic AI
45
Partial
Agentic Readiness Score
ai-tools
openapiapiaillms-txt
Agentic Signals
Found
ai-plugin.json
Not found
OpenAPI Spec
Found
Structured API
Not found
Not specified
Schema.org Markup
Not found
MCP Server
Not found
Embed this badge
Show off your agentic readiness — the badge auto-updates when your score changes.
llms.txt Content
<!doctype html>
<html lang="en" class="scroll-smooth">
<head>
<meta charset="UTF-8" />
<link rel="icon" type="image/svg+xml" href="/favicon.svg" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="description" content="AxProver — Automated theorem proving powered by Axiomatic AI" />
<title>AxProver — Axiomatic AI</title>
<link rel="preconnect" href="https://fonts.googleapis.com" />
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin />
<link
href="https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@300;400;500;600;700;800&family=Inter:wght@300;400;500;600;700&display=swap"
rel="stylesheet"
/>
<script type="module" crossorigin src="/assets/index-538OGEin.js"></script>
<link rel="stylesheet" crossorigin href="/assets/index-BTJZUN6s.css">
</head>
<body class="min-h-screen bg-engineering-paper text-ax-text font-sans text-base antialiased" style="color-scheme: dark">
<div id="root"></div>
</body>
</html>
OpenAPI Spec (preview)
{"openapi":"3.1.0","info":{"title":"FastAPI","version":"0.1.0"},"paths":{"/auth/github":{"get":{"tags":["auth"],"summary":"Github Oauth Start","description":"Return GitHub OAuth authorization URL with CSRF state.","operationId":"github_oauth_start_auth_github_get","parameters":[{"name":"source","in":"query","required":false,"schema":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Source"}},{"name":"next","in":"query","required":false,"schema":{"anyOf":[{"type":"string"},{"type":"null"}],"t