ZacharyZhang-NY
4cd29f91e5
Local read-only Model Context Protocol server (Go) exposing the .ely_eye memory store to coding agents such as Codex and Claude Code: nine tools over status, cartridges, Evidence Atoms, compiled evidence packs, proof suites, and HashHop proofs. One-line cross-platform install (no Docker), with a prebuilt-binary release workflow.
88 lines
2.1 KiB
Go
88 lines
2.1 KiB
Go
package config
|
|
|
|
import (
|
|
"errors"
|
|
"os"
|
|
"path/filepath"
|
|
)
|
|
|
|
type Config struct {
|
|
ProjectRoot string `json:"project_root"`
|
|
ElyEyeHome string `json:"ely_eye_home"`
|
|
Database string `json:"database"`
|
|
Binary string `json:"binary"`
|
|
}
|
|
|
|
// Resolve locates the Ely-Eye data home and its SQLite database. The server is
|
|
// a read-only mirror of any local .ely_eye store, so identity is anchored on the
|
|
// database itself rather than on Ely-Eye repository layout. This lets the MCP
|
|
// server be deployed for any project that owns an .ely_eye/data/ely_eye.sqlite.
|
|
func Resolve(projectRoot string, elyEyeHome string, binary string) (Config, error) {
|
|
home, err := resolveHome(projectRoot, elyEyeHome)
|
|
if err != nil {
|
|
return Config{}, err
|
|
}
|
|
db := filepath.Join(home, "data", "ely_eye.sqlite")
|
|
if _, err := os.Stat(db); err != nil {
|
|
return Config{}, errors.New("Ely-Eye database is required at " + db)
|
|
}
|
|
root := projectRoot
|
|
if root == "" {
|
|
root = filepath.Dir(home)
|
|
}
|
|
root, err = filepath.Abs(root)
|
|
if err != nil {
|
|
return Config{}, err
|
|
}
|
|
if binary == "" {
|
|
binary, _ = os.Executable()
|
|
}
|
|
if binary != "" {
|
|
binary, err = filepath.Abs(binary)
|
|
if err != nil {
|
|
return Config{}, err
|
|
}
|
|
}
|
|
return Config{
|
|
ProjectRoot: root,
|
|
ElyEyeHome: home,
|
|
Database: db,
|
|
Binary: binary,
|
|
}, nil
|
|
}
|
|
|
|
func resolveHome(projectRoot string, elyEyeHome string) (string, error) {
|
|
if elyEyeHome == "" {
|
|
elyEyeHome = os.Getenv("ELY_EYE_HOME")
|
|
}
|
|
if elyEyeHome != "" {
|
|
return filepath.Abs(elyEyeHome)
|
|
}
|
|
if projectRoot != "" {
|
|
abs, err := filepath.Abs(projectRoot)
|
|
if err != nil {
|
|
return "", err
|
|
}
|
|
return filepath.Join(abs, ".ely_eye"), nil
|
|
}
|
|
return discoverHome()
|
|
}
|
|
|
|
func discoverHome() (string, error) {
|
|
current, err := os.Getwd()
|
|
if err != nil {
|
|
return "", err
|
|
}
|
|
for {
|
|
home := filepath.Join(current, ".ely_eye")
|
|
if _, err := os.Stat(filepath.Join(home, "data", "ely_eye.sqlite")); err == nil {
|
|
return home, nil
|
|
}
|
|
next := filepath.Dir(current)
|
|
if next == current {
|
|
return "", errors.New("cannot find an Ely-Eye data home; pass --ely-eye-home or set ELY_EYE_HOME")
|
|
}
|
|
current = next
|
|
}
|
|
}
|