io.github.Archerkattri/mathlas
MCPサーバーMCPレジストリ不明
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
説明の出典: 元のソース
測定日: 2026/09/18 · 38 観測
出典と観測
- ソース
- MCPレジストリ
- 最終活動日
- 活動日は不明
- 観測
- 38
作業への適合は未評価です。
比較可能な測定値をシグナルと単位ごとにまとめています。
測定シグナル
- 直近7日間のダウンロード
- 189
- ダウンロード
- 実測 · 2026/09/18
モメンタム
- モメンタムスコア
- 0
- 期間
- 7 日
- 絶対変化
- 0
- 相対変化
- 0%
- 公開シグナル
- 実測
分野 & 用途
- 分野
- エージェント・スキル・MCP
インストール
claude mcp add mathlas -- uvx mathlas-mcp測定履歴
比較可能な測定値をシグナルと単位ごとにまとめています。
直近7日間のダウンロード
ダウンロード
時間
正確な値
| 測定日 | 公開シグナル |
|---|---|
| 2026/09/12 | 189 ダウンロード |
| 2026/09/13 | 189 ダウンロード |
| 2026/09/14 | 189 ダウンロード |
| 2026/09/15 | 189 ダウンロード |
| 2026/09/16 | 189 ダウンロード |
| 2026/09/17 | 189 ダウンロード |
| 2026/09/18 | 189 ダウンロード |
スター
スター
時間
正確な値
| 測定日 | 公開シグナル |
|---|---|
| 2026/08/11 | 9 スター |
| 2026/08/12 | 9 スター |
| 2026/08/13 | 9 スター |
| 2026/08/14 | 9 スター |
| 2026/08/15 | 9 スター |
| 2026/08/16 | 9 スター |
| 2026/08/17 | 9 スター |
| 2026/08/18 | 9 スター |
| 2026/08/19 | 10 スター |
| 2026/08/20 | 10 スター |
| 2026/08/21 | 10 スター |
| 2026/08/22 | 10 スター |
| 2026/08/23 | 10 スター |
| 2026/08/24 | 10 スター |
| 2026/08/25 | 10 スター |
| 2026/08/26 | 10 スター |
| 2026/08/27 | 12 スター |
| 2026/08/28 | 12 スター |
| 2026/08/29 | 12 スター |
| 2026/08/30 | 12 スター |
| 2026/08/31 | 12 スター |
| 2026/09/02 | 12 スター |
| 2026/09/04 | 12 スター |
| 2026/09/05 | 12 スター |
| 2026/09/06 | 12 スター |
| 2026/09/07 | 12 スター |
| 2026/09/08 | 12 スター |
| 2026/09/09 | 12 スター |
| 2026/09/10 | 12 スター |
| 2026/09/11 | 12 スター |
分類
- 種別
- ツール