diff --git a/README.md b/README.md
index 557fd195..8dff2d39 100644
--- a/README.md
+++ b/README.md
@@ -163,6 +163,36 @@ main();
### Kotlin
+Refer to [this](https://docs.github.com/en/packages/working-with-a-github-packages-registry/working-with-the-apache-maven-registry#authenticating-to-github-packages) to configure your Maven; set up your GitHub account and Token in the `settings.xml`.
+
+#### Maven
+
+In your project's pom.xml, configure our repository as follows:
+
+```xml
+
+
+ github
+ https://maven.pkg.github.com/kcl-lang/*
+
+ true
+
+
+
+```
+
+This way you'll be able to import the above dependency to use the SDK.
+
+```xml
+
+ com.kcl
+ kcl-lib
+ 0.10.0-alpha.2-SNAPSHOT
+
+```
+
+Write the code
+
```kotlin
import com.kcl.api.API
import com.kcl.api.execProgramArgs
diff --git a/java/README.md b/java/README.md
index 1991cbef..4369ae60 100644
--- a/java/README.md
+++ b/java/README.md
@@ -50,12 +50,9 @@ public class ExecProgramTest {
## Developing
- Install `Java 8+`
+- Install `Maven`
- Install `cargo` and `Python` (for Rust code building)
-```shell
-pnpm install
-```
-
### Building
```shell
diff --git a/java/src/test/java/com/kcl/ListOptionsTest.java b/java/src/test/java/com/kcl/ListOptionsTest.java
index 0f326bbd..590ad659 100644
--- a/java/src/test/java/com/kcl/ListOptionsTest.java
+++ b/java/src/test/java/com/kcl/ListOptionsTest.java
@@ -9,7 +9,7 @@
public class ListOptionsTest {
@Test
- public void testParseProgram() throws Exception {
+ public void testListOptionsApi() throws Exception {
ParseProgram_Args args = ParseProgram_Args.newBuilder().addPaths("./src/test_data/option/main.k").build();
API apiInstance = new API();
diff --git a/java/src/test/java/com/kcl/LoadSettingsFileTest.java b/java/src/test/java/com/kcl/LoadSettingsFilesTest.java
similarity index 95%
rename from java/src/test/java/com/kcl/LoadSettingsFileTest.java
rename to java/src/test/java/com/kcl/LoadSettingsFilesTest.java
index 7a8eefca..3b4c3536 100644
--- a/java/src/test/java/com/kcl/LoadSettingsFileTest.java
+++ b/java/src/test/java/com/kcl/LoadSettingsFilesTest.java
@@ -7,7 +7,7 @@
import com.kcl.api.Spec.LoadSettingsFiles_Args;
import com.kcl.api.Spec.LoadSettingsFiles_Result;
-public class LoadSettingsFileTest {
+public class LoadSettingsFilesTest {
@Test
public void testLoadSettingsFile() throws Exception {
API api = new API();
diff --git a/java/src/test/java/com/kcl/TestingTest.java b/java/src/test/java/com/kcl/TestingTest.java
index 90861bbc..03e35224 100644
--- a/java/src/test/java/com/kcl/TestingTest.java
+++ b/java/src/test/java/com/kcl/TestingTest.java
@@ -9,7 +9,7 @@
public class TestingTest {
@Test
- public void testLintPathApi() throws Exception {
+ public void testTestingApi() throws Exception {
API apiInstance = new API();
Test_Args args = Test_Args.newBuilder().addPkgList("./src/test_data/testing/...").build();
Test_Result result = apiInstance.test(args);
diff --git a/kotlin/README.md b/kotlin/README.md
index 28c4b907..ddfa45aa 100644
--- a/kotlin/README.md
+++ b/kotlin/README.md
@@ -1,3 +1,619 @@
# KCL Artifact Library for Kotlin
-This repo is under development, PRs welcome!
+## Installation
+
+Refer to [this](https://docs.github.com/en/packages/working-with-a-github-packages-registry/working-with-the-apache-maven-registry#authenticating-to-github-packages) to configure your Maven; set up your GitHub account and Token in the `settings.xml`.
+
+### Maven
+
+In your project's `pom.xml`, configure our repository as follows:
+
+```xml
+
+
+ github
+ https://maven.pkg.github.com/kcl-lang/*
+
+ true
+
+
+
+```
+
+This way you'll be able to import the above dependency to use the SDK.
+
+```xml
+
+ com.kcl
+ kcl-lib-kotlin
+ 0.10.0-alpha.2-SNAPSHOT
+
+```
+
+Write the code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.execProgramArgs
+
+val args = execProgramArgs { kFilenameList += "schema.k" }
+val api = API()
+val result = api.execProgram(args)
+```
+
+## Developing
+
+- Install `Java 8+`
+- Install `Maven`
+- Install `cargo` and `Python` (for Rust code building)
+
+### Building
+
+```shell
+make build
+```
+
+### Testing
+
+```shell
+make test
+```
+
+## API Reference
+
+### execProgram
+
+Execute KCL file with arguments and return the JSON/YAML result.
+
+Example
+
+
+The content of `schema.k` is
+
+```python
+schema AppConfig:
+ replicas: int
+
+app: AppConfig {
+ replicas: 2
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.execProgramArgs
+
+val args = execProgramArgs { kFilenameList += "schema.k" }
+val api = API()
+val result = api.execProgram(args)
+```
+
+
+Example
+
+
+The content of `schema.k` is
+
+```python
+schema AppConfig:
+ replicas: int
+
+app: AppConfig {
+ replicas: 2
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.parseFileArgs
+
+val args = parseFileArgs { path = "schema.k" }
+val api = API()
+val result = api.parseFile(args)
+```
+
+
+Example
+
+
+The content of `schema.k` is
+
+```python
+schema AppConfig:
+ replicas: int
+
+app: AppConfig {
+ replicas: 2
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.loadPackageArgs
+import com.kcl.api.parseProgramArgs
+
+val args = loadPackageArgs { parseArgs = parseProgramArgs { paths += "schema.k" }; resolveAst = true }
+val api = API()
+val result = api.loadPackage(args)
+```
+
+
+Example
+
+
+The content of `schema.k` is
+
+```python
+schema AppConfig:
+ replicas: int
+
+app: AppConfig {
+ replicas: 2
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.listVariablesArgs
+
+val args = listVariablesArgs { files += "./src/test_data/schema.k" }
+val api = API()
+val result = api.listVariables(args)
+```
+
+
+Example
+
+
+The content of `options.k` is
+
+```python
+a = option("key1")
+b = option("key2", required=True)
+c = {
+ metadata.key = option("metadata-key")
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.parseProgramArgs
+
+val args = parseProgramArgs { paths += "options.k" }
+val api = API()
+val result = api.listOptions(args)
+```
+
+
+Example
+
+
+The content of `schema.k` is
+
+```python
+schema AppConfig:
+ replicas: int
+
+app: AppConfig {
+ replicas: 2
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.execProgramArgs
+import com.kcl.api.getSchemaTypeMappingArgs
+
+val args = getSchemaTypeMappingArgs { execArgs = execProgramArgs { kFilenameList += "schema.k" } }
+val api = API()
+val result = api.getSchemaTypeMapping(args)
+val appSchemaType = result.schemaTypeMappingMap["app"] ?: throw AssertionError("App schema type not found")
+val replicasAttr = appSchemaType.properties["replicas"] ?: throw AssertionError("App schema type of `replicas` not found")
+```
+
+
+Example
+
+
+The content of `main.k` is
+
+```python
+a = 1
+
+b = {
+ "a": 1
+ "b": 2
+}
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.overrideFileArgs
+
+val api = API()
+val result = api.overrideFile(
+ overrideFileArgs {
+ file = "main.k";
+ specs += spec
+ }
+)
+```
+
+
+Example
+
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.formatCodeArgs
+
+val sourceCode = "schema Person:\n" +
+ " name: str\n" +
+ " age: int\n" +
+ " check:\n" +
+ " 0 < age < 120\n"
+val args = formatCodeArgs { source = sourceCode }
+val api = API()
+val result = api.formatCode(args)
+```
+
+
+Example
+
+
+The content of `format_path.k` is
+
+```python
+schema Person:
+ name: str
+ age: int
+
+ check:
+ 0 < age < 120
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.formatPathArgs
+
+val args = formatPathArgs { path = "format_path.k" }
+val api = API()
+val result = api.formatPath(args)
+```
+
+
+Example
+
+
+The content of `lint_path.k` is
+
+```python
+import math
+
+a = 1
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.lintPathArgs
+
+val args = lintPathArgs { paths += "lint_path.k" }
+val api = API()
+val result = api.lintPath(args)
+```
+
+
+Example
+
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.validateCodeArgs
+
+val args = validateCodeArgs {
+ code = "schema Person:\n" + " name: str\n" + " age: int\n" + " check:\n" + " 0 < age < 120\n"
+ data = "{\"name\": \"Alice\", \"age\": 10}"
+}
+val api = API();
+val result = api.validateCode(args);
+```
+
+
+Example
+
+
+The content of `main.k` is
+
+```python
+a = 1
+b = a
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.renameArgs
+
+val args = renameArgs {
+ packageRoot = "."
+ filePaths += "./main.k"
+ symbolPath = "a"
+ newName = "a2"
+}
+val api = API()
+val result = api.rename(args)
+```
+
+
+Example
+
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.renameCodeArgs
+
+val api = API()
+val args = renameCodeArgs {
+ packageRoot = "/mock/path"
+ sourceCodes.put("/mock/path/main.k", "a = 1\nb = a")
+ symbolPath = "a"
+ newName = "a2"
+}
+val result = api.renameCode(args)
+```
+
+
+Example
+
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.testArgs
+
+val args = testArgs {
+ pkgList += "/path/to/test/package"
+}
+val api = API()
+val result = api.test(args)
+```
+
+
+Example
+
+
+The content of `kcl.yaml` is
+
+```yaml
+kcl_cli_configs:
+ strict_range_check: true
+kcl_options:
+ - key: key
+ value: value
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.loadSettingsFilesArgs
+
+val args = loadSettingsFilesArgs { files += "kcl.yaml" }
+val api = API()
+val result = api.loadSettingsFiles(args)
+```
+
+
+Example
+
+
+The content of `module/kcl.mod` is
+
+```yaml
+[package]
+name = "mod_update"
+edition = "0.0.1"
+version = "0.0.1"
+
+[dependencies]
+helloworld = { oci = "oci://ghcr.io/kcl-lang/helloworld", tag = "0.1.0" }
+flask = { git = "https://github.com/kcl-lang/flask-demo-kcl-manifests", commit = "ade147b" }
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.updateDependenciesArgs
+
+val api = API()
+val args = updateDependenciesArgs { manifestPath = "module" }
+val result = api.updateDependencies(args)
+```
+
+
+Example
+
+
+The content of `module/kcl.mod` is
+
+```yaml
+[package]
+name = "mod_update"
+edition = "0.0.1"
+version = "0.0.1"
+
+[dependencies]
+helloworld = { oci = "oci://ghcr.io/kcl-lang/helloworld", tag = "0.1.0" }
+flask = { git = "https://github.com/kcl-lang/flask-demo-kcl-manifests", commit = "ade147b" }
+```
+
+The content of `module/main.k` is
+
+```python
+import helloworld
+import flask
+
+a = helloworld.The_first_kcl_program
+```
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.execProgramArgs
+import com.kcl.api.updateDependenciesArgs
+
+val api = API()
+val args = updateDependenciesArgs { manifestPath = "module" }
+val result = api.updateDependencies(args)
+val execArgs = execProgramArgs {
+ kFilenameList += "module/main.k"
+ externalPkgs.addAll(result.externalPkgsList)
+}
+val execResult = api.execProgram(execArgs)
+```
+
+
+Example
+
+
+Kotlin Code
+
+```kotlin
+import com.kcl.api.API
+import com.kcl.api.getVersionArgs
+
+val api = API()
+val args = getVersionArgs {}
+val result = api.getVersion(args)
+```
+
+
+